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, Arg_11, Arg_12, Arg_13, Arg_14
Temp_Vars: P, Q
Locations: f0, f1, f2, f3, f4, f6, f7
Transitions:
0:f0(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14)
4:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,3,Q,0,0,3,Q,2,Arg_13,Arg_14):|:Q<=7 && Q<=3 && 1<=Q
5:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,3,Q,0,0,3,Q,2,Arg_13,Arg_14):|:Q<=7 && 5<=Q
6:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,3,4,1,0,3,4,2,Arg_13,Arg_14)
1:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0-1,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,0,1,Q,P,7,Arg_13,Arg_14):|:1<=Arg_0 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
2:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,0,1,Q,P,7,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
3:f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,1,Q,4,7,Arg_13,Arg_14):|:Q<=7 && 1<=Q
10:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f3(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,0,Q,P,3,Arg_13,Arg_14):|:P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
11:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f3(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,0,Q,P,3,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
12:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f3(Arg_0,0,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,0,Q,4,3,Arg_13,Arg_14):|:Q<=7 && 1<=Q
7:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,7,Arg_13,Arg_14):|:P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
8:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,7,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
9:f2(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,1,Q,4,7,Arg_13,Arg_14):|:Q<=7 && 1<=Q
13:f3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f6(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,6,Arg_13,Arg_14):|:P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
14:f3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f6(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,6,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
15:f3(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f6(Arg_0,1,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,1,Q,4,6,Arg_13,Arg_14):|:Q<=7 && 1<=Q
18:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,1,0,Q,P,2,Arg_13,Arg_14):|:1<=Arg_13 && Arg_5+1<=Arg_13 && 1<=Arg_14 && Arg_3+1<=Arg_14 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q && Arg_8<=1 && 1<=Arg_8
19:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,1,0,Q,P,2,Arg_13,Arg_14):|:1<=Arg_13 && Arg_5+1<=Arg_13 && 1<=Arg_14 && Arg_3+1<=Arg_14 && P<=7 && Q<=7 && 5<=P && 1<=Q && Arg_8<=1 && 1<=Arg_8
20:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f2(Arg_0,0,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,0,Q,4,2,Arg_13,Arg_14):|:Arg_5+2<=Arg_13 && Arg_3+2<=Arg_14 && 1<=Arg_13 && 1<=Arg_14 && Q<=7 && 1<=Q
21:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,0,Q,P,7,Arg_13,Arg_14):|:Arg_13<=Arg_5 && Arg_14<=Arg_3 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
22:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,0,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,0,Q,P,7,Arg_13,Arg_14):|:Arg_13<=Arg_5 && Arg_14<=Arg_3 && P<=7 && Q<=7 && 5<=P && 1<=Q
23:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,0,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,0,Q,4,7,Arg_13,Arg_14):|:Arg_13<=Arg_5+1 && Arg_14<=Arg_3+1 && Q<=7 && 1<=Q
24:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,7,Arg_13,Arg_14):|:P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
25:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,P,Arg_8,1,Q,P,7,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
26:f4(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f7(Arg_0,1,Arg_3+1,Arg_3+1,Arg_5+1,Arg_5+1,Q,4,1,1,Q,4,7,Arg_13,Arg_14):|:Q<=7 && 1<=Q
16:f6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f4(Arg_0,1,Arg_3,Arg_3,Arg_5,Arg_5,Q,2,0,1,Q,2,4,Arg_13,Arg_14):|:1<=Q && Q<=7
17:f6(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14) -> f4(Arg_0,Q,Arg_3,Arg_3,Arg_5,Arg_5,P,7,1,Q,P,7,4,Arg_13,Arg_14):|:P<=7 && Q<=1 && 0<=Q && 1<=P && Arg_8<=1 && 1<=Arg_8

Preprocessing

Eliminate variables {Arg_1,Arg_2,Arg_4,Arg_6,Arg_7,Arg_9,Arg_10,Arg_11,Arg_12} that do not contribute to the problem

Found invariant Arg_8<=1 && 0<=Arg_8 for location f6

Found invariant Arg_8<=1 && 0<=Arg_8 for location f3

Found invariant Arg_8<=1 && 0<=Arg_8 for location f2

Found invariant Arg_8<=1 && 0<=Arg_8 for location f7

Found invariant Arg_8<=1 && 0<=Arg_8 for location f4

Problem after Preprocessing

Start: f0
Program_Vars: Arg_0, Arg_3, Arg_5, Arg_8, Arg_13, Arg_14
Temp_Vars: P, Q
Locations: f0, f1, f2, f3, f4, f6, f7
Transitions:
54:f0(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14)
58:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3,Arg_5,0,Arg_13,Arg_14):|:Q<=7 && Q<=3 && 1<=Q
59:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3,Arg_5,0,Arg_13,Arg_14):|:Q<=7 && 5<=Q
60:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14)
55:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0-1,Arg_3,Arg_5,0,Arg_13,Arg_14):|:1<=Arg_0 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
56:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,0,Arg_13,Arg_14):|:P<=7 && Q<=7 && 5<=P && 1<=Q
57:f1(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Q<=7 && 1<=Q
64:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f3(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
65:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f3(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && 5<=P && 1<=Q
66:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f3(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Q<=7 && 1<=Q
61:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
62:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && 5<=P && 1<=Q
63:f2(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Q<=7 && 1<=Q
67:f3(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f6(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
68:f3(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f6(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && 5<=P && 1<=Q
69:f3(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f6(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Q<=7 && 1<=Q
70:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3,Arg_5,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && 1<=Arg_13 && Arg_5+1<=Arg_13 && 1<=Arg_14 && Arg_3+1<=Arg_14 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q && Arg_8<=1 && 1<=Arg_8
71:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3,Arg_5,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && 1<=Arg_13 && Arg_5+1<=Arg_13 && 1<=Arg_14 && Arg_3+1<=Arg_14 && P<=7 && Q<=7 && 5<=P && 1<=Q && Arg_8<=1 && 1<=Arg_8
72:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Arg_5+2<=Arg_13 && Arg_3+2<=Arg_14 && 1<=Arg_13 && 1<=Arg_14 && Q<=7 && 1<=Q
73:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Arg_13<=Arg_5 && Arg_14<=Arg_3 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
74:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Arg_13<=Arg_5 && Arg_14<=Arg_3 && P<=7 && Q<=7 && 5<=P && 1<=Q
75:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Arg_13<=Arg_5+1 && Arg_14<=Arg_3+1 && Q<=7 && 1<=Q
76:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && P<=3 && 1<=P && 1<=Q
77:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=7 && 5<=P && 1<=Q
78:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f7(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Q<=7 && 1<=Q
79:f6(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f4(Arg_0,Arg_3,Arg_5,0,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && 1<=Q && Q<=7
80:f6(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f4(Arg_0,Arg_3,Arg_5,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && P<=7 && Q<=1 && 0<=Q && 1<=P && Arg_8<=1 && 1<=Arg_8

MPRF for transition 72:f4(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f2(Arg_0,Arg_3+1,Arg_5+1,1,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && Arg_5+2<=Arg_13 && Arg_3+2<=Arg_14 && 1<=Arg_13 && 1<=Arg_14 && Q<=7 && 1<=Q of depth 1:

new bound:

3*Arg_13+3*Arg_5+4 {O(n)}

MPRF:

f3 [Arg_13-Arg_5-1 ]
f2 [Arg_13-Arg_5-1 ]
f6 [Arg_13-Arg_5-1 ]
f4 [Arg_13-Arg_5-1 ]

MPRF for transition 79:f6(Arg_0,Arg_3,Arg_5,Arg_8,Arg_13,Arg_14) -> f4(Arg_0,Arg_3,Arg_5,0,Arg_13,Arg_14):|:Arg_8<=1 && 0<=Arg_8 && 1<=Q && Q<=7 of depth 1:

new bound:

3*Arg_13+3*Arg_5+7 {O(n)}

MPRF:

f3 [1 ]
f2 [1 ]
f6 [1 ]
f4 [Arg_8 ]

All Bounds

Timebounds

Overall timebound:inf {Infinity}
54: f0->f1: 1 {O(1)}
55: f1->f7: 1 {O(1)}
56: f1->f7: 1 {O(1)}
57: f1->f7: 1 {O(1)}
58: f1->f2: 1 {O(1)}
59: f1->f2: 1 {O(1)}
60: f1->f2: 1 {O(1)}
61: f2->f7: 1 {O(1)}
62: f2->f7: 1 {O(1)}
63: f2->f7: 1 {O(1)}
64: f2->f3: inf {Infinity}
65: f2->f3: inf {Infinity}
66: f2->f3: inf {Infinity}
67: f3->f6: inf {Infinity}
68: f3->f6: inf {Infinity}
69: f3->f6: inf {Infinity}
70: f4->f2: inf {Infinity}
71: f4->f2: inf {Infinity}
72: f4->f2: 3*Arg_13+3*Arg_5+4 {O(n)}
73: f4->f7: 1 {O(1)}
74: f4->f7: 1 {O(1)}
75: f4->f7: 1 {O(1)}
76: f4->f7: 1 {O(1)}
77: f4->f7: 1 {O(1)}
78: f4->f7: 1 {O(1)}
79: f6->f4: 3*Arg_13+3*Arg_5+7 {O(n)}
80: f6->f4: inf {Infinity}

Costbounds

Overall costbound: inf {Infinity}
54: f0->f1: 1 {O(1)}
55: f1->f7: 1 {O(1)}
56: f1->f7: 1 {O(1)}
57: f1->f7: 1 {O(1)}
58: f1->f2: 1 {O(1)}
59: f1->f2: 1 {O(1)}
60: f1->f2: 1 {O(1)}
61: f2->f7: 1 {O(1)}
62: f2->f7: 1 {O(1)}
63: f2->f7: 1 {O(1)}
64: f2->f3: inf {Infinity}
65: f2->f3: inf {Infinity}
66: f2->f3: inf {Infinity}
67: f3->f6: inf {Infinity}
68: f3->f6: inf {Infinity}
69: f3->f6: inf {Infinity}
70: f4->f2: inf {Infinity}
71: f4->f2: inf {Infinity}
72: f4->f2: 3*Arg_13+3*Arg_5+4 {O(n)}
73: f4->f7: 1 {O(1)}
74: f4->f7: 1 {O(1)}
75: f4->f7: 1 {O(1)}
76: f4->f7: 1 {O(1)}
77: f4->f7: 1 {O(1)}
78: f4->f7: 1 {O(1)}
79: f6->f4: 3*Arg_13+3*Arg_5+7 {O(n)}
80: f6->f4: inf {Infinity}

Sizebounds

54: f0->f1, Arg_0: Arg_0 {O(n)}
54: f0->f1, Arg_3: Arg_3 {O(n)}
54: f0->f1, Arg_5: Arg_5 {O(n)}
54: f0->f1, Arg_8: Arg_8 {O(n)}
54: f0->f1, Arg_13: Arg_13 {O(n)}
54: f0->f1, Arg_14: Arg_14 {O(n)}
55: f1->f7, Arg_0: Arg_0 {O(n)}
55: f1->f7, Arg_3: Arg_3 {O(n)}
55: f1->f7, Arg_5: Arg_5 {O(n)}
55: f1->f7, Arg_8: 0 {O(1)}
55: f1->f7, Arg_13: Arg_13 {O(n)}
55: f1->f7, Arg_14: Arg_14 {O(n)}
56: f1->f7, Arg_0: Arg_0 {O(n)}
56: f1->f7, Arg_3: Arg_3 {O(n)}
56: f1->f7, Arg_5: Arg_5 {O(n)}
56: f1->f7, Arg_8: 0 {O(1)}
56: f1->f7, Arg_13: Arg_13 {O(n)}
56: f1->f7, Arg_14: Arg_14 {O(n)}
57: f1->f7, Arg_0: Arg_0 {O(n)}
57: f1->f7, Arg_3: Arg_3+1 {O(n)}
57: f1->f7, Arg_5: Arg_5+1 {O(n)}
57: f1->f7, Arg_8: 1 {O(1)}
57: f1->f7, Arg_13: Arg_13 {O(n)}
57: f1->f7, Arg_14: Arg_14 {O(n)}
58: f1->f2, Arg_0: Arg_0 {O(n)}
58: f1->f2, Arg_3: Arg_3 {O(n)}
58: f1->f2, Arg_5: Arg_5 {O(n)}
58: f1->f2, Arg_8: 0 {O(1)}
58: f1->f2, Arg_13: Arg_13 {O(n)}
58: f1->f2, Arg_14: Arg_14 {O(n)}
59: f1->f2, Arg_0: Arg_0 {O(n)}
59: f1->f2, Arg_3: Arg_3 {O(n)}
59: f1->f2, Arg_5: Arg_5 {O(n)}
59: f1->f2, Arg_8: 0 {O(1)}
59: f1->f2, Arg_13: Arg_13 {O(n)}
59: f1->f2, Arg_14: Arg_14 {O(n)}
60: f1->f2, Arg_0: Arg_0 {O(n)}
60: f1->f2, Arg_3: Arg_3+1 {O(n)}
60: f1->f2, Arg_5: Arg_5+1 {O(n)}
60: f1->f2, Arg_8: 1 {O(1)}
60: f1->f2, Arg_13: Arg_13 {O(n)}
60: f1->f2, Arg_14: Arg_14 {O(n)}
61: f2->f7, Arg_0: 30*Arg_0 {O(n)}
61: f2->f7, Arg_8: 1 {O(1)}
61: f2->f7, Arg_13: 30*Arg_13 {O(n)}
61: f2->f7, Arg_14: 30*Arg_14 {O(n)}
62: f2->f7, Arg_0: 30*Arg_0 {O(n)}
62: f2->f7, Arg_8: 1 {O(1)}
62: f2->f7, Arg_13: 30*Arg_13 {O(n)}
62: f2->f7, Arg_14: 30*Arg_14 {O(n)}
63: f2->f7, Arg_0: 30*Arg_0 {O(n)}
63: f2->f7, Arg_8: 1 {O(1)}
63: f2->f7, Arg_13: 30*Arg_13 {O(n)}
63: f2->f7, Arg_14: 30*Arg_14 {O(n)}
64: f2->f3, Arg_0: 9*Arg_0 {O(n)}
64: f2->f3, Arg_8: 1 {O(1)}
64: f2->f3, Arg_13: 9*Arg_13 {O(n)}
64: f2->f3, Arg_14: 9*Arg_14 {O(n)}
65: f2->f3, Arg_0: 9*Arg_0 {O(n)}
65: f2->f3, Arg_8: 1 {O(1)}
65: f2->f3, Arg_13: 9*Arg_13 {O(n)}
65: f2->f3, Arg_14: 9*Arg_14 {O(n)}
66: f2->f3, Arg_0: 9*Arg_0 {O(n)}
66: f2->f3, Arg_8: 1 {O(1)}
66: f2->f3, Arg_13: 9*Arg_13 {O(n)}
66: f2->f3, Arg_14: 9*Arg_14 {O(n)}
67: f3->f6, Arg_0: 9*Arg_0 {O(n)}
67: f3->f6, Arg_8: 1 {O(1)}
67: f3->f6, Arg_13: 9*Arg_13 {O(n)}
67: f3->f6, Arg_14: 9*Arg_14 {O(n)}
68: f3->f6, Arg_0: 9*Arg_0 {O(n)}
68: f3->f6, Arg_8: 1 {O(1)}
68: f3->f6, Arg_13: 9*Arg_13 {O(n)}
68: f3->f6, Arg_14: 9*Arg_14 {O(n)}
69: f3->f6, Arg_0: 9*Arg_0 {O(n)}
69: f3->f6, Arg_8: 1 {O(1)}
69: f3->f6, Arg_13: 9*Arg_13 {O(n)}
69: f3->f6, Arg_14: 9*Arg_14 {O(n)}
70: f4->f2, Arg_0: 9*Arg_0 {O(n)}
70: f4->f2, Arg_8: 1 {O(1)}
70: f4->f2, Arg_13: 9*Arg_13 {O(n)}
70: f4->f2, Arg_14: 9*Arg_14 {O(n)}
71: f4->f2, Arg_0: 9*Arg_0 {O(n)}
71: f4->f2, Arg_8: 1 {O(1)}
71: f4->f2, Arg_13: 9*Arg_13 {O(n)}
71: f4->f2, Arg_14: 9*Arg_14 {O(n)}
72: f4->f2, Arg_0: 9*Arg_0 {O(n)}
72: f4->f2, Arg_8: 1 {O(1)}
72: f4->f2, Arg_13: 9*Arg_13 {O(n)}
72: f4->f2, Arg_14: 9*Arg_14 {O(n)}
73: f4->f7, Arg_0: 18*Arg_0 {O(n)}
73: f4->f7, Arg_8: 1 {O(1)}
73: f4->f7, Arg_13: 18*Arg_13 {O(n)}
73: f4->f7, Arg_14: 18*Arg_14 {O(n)}
74: f4->f7, Arg_0: 18*Arg_0 {O(n)}
74: f4->f7, Arg_8: 1 {O(1)}
74: f4->f7, Arg_13: 18*Arg_13 {O(n)}
74: f4->f7, Arg_14: 18*Arg_14 {O(n)}
75: f4->f7, Arg_0: 18*Arg_0 {O(n)}
75: f4->f7, Arg_8: 1 {O(1)}
75: f4->f7, Arg_13: 18*Arg_13 {O(n)}
75: f4->f7, Arg_14: 18*Arg_14 {O(n)}
76: f4->f7, Arg_0: 18*Arg_0 {O(n)}
76: f4->f7, Arg_8: 1 {O(1)}
76: f4->f7, Arg_13: 18*Arg_13 {O(n)}
76: f4->f7, Arg_14: 18*Arg_14 {O(n)}
77: f4->f7, Arg_0: 18*Arg_0 {O(n)}
77: f4->f7, Arg_8: 1 {O(1)}
77: f4->f7, Arg_13: 18*Arg_13 {O(n)}
77: f4->f7, Arg_14: 18*Arg_14 {O(n)}
78: f4->f7, Arg_0: 18*Arg_0 {O(n)}
78: f4->f7, Arg_8: 1 {O(1)}
78: f4->f7, Arg_13: 18*Arg_13 {O(n)}
78: f4->f7, Arg_14: 18*Arg_14 {O(n)}
79: f6->f4, Arg_0: 9*Arg_0 {O(n)}
79: f6->f4, Arg_8: 0 {O(1)}
79: f6->f4, Arg_13: 9*Arg_13 {O(n)}
79: f6->f4, Arg_14: 9*Arg_14 {O(n)}
80: f6->f4, Arg_0: 9*Arg_0 {O(n)}
80: f6->f4, Arg_8: 1 {O(1)}
80: f6->f4, Arg_13: 9*Arg_13 {O(n)}
80: f6->f4, Arg_14: 9*Arg_14 {O(n)}