Start: f2
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, Arg_15, Arg_16, Arg_17, Arg_18, Arg_19, Arg_20, Arg_21, Arg_22
Temp_Vars: A1, B1, C1, D1, E1, F1, G1, X, Y, Z
Locations: f1, f2, f300
Transitions:
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Z,A1,B1,C1,D1,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22):|:Y<=0 && Arg_9+1<=0
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Z,A1,B1,Arg_14,Arg_15,C1,D1,Y,Arg_19,Arg_20,Arg_21,Arg_22):|:Arg_9+1<=0 && 1<=E1 && 2<=F1
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Arg_11,Arg_12,Z,A1,B1,Arg_16,Arg_17,Arg_18,C1,D1,Y,Arg_22):|:2+E1<=0 && 1<=Arg_9
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f1(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Arg_11,Arg_12,Z,Arg_14,Arg_15,A1,B1,C1,D1,Y,E1,Arg_22):|:1<=Arg_9 && 0<=F1 && 0<=1+G1
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f300(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Z,A1,B1,Arg_14,Arg_15,C1,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,D1):|:Y<=1 && Arg_9+1<=0 && 1<=E1
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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f300(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Arg_11,Arg_12,Z,Arg_14,Arg_15,A1,Arg_17,Arg_18,B1,C1,D1,Y):|:E1+1<=0 && 1<=Arg_9 && 0<=1+F1
7: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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f300(Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_9,X,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Z,Arg_20,Arg_21,A1):|:Arg_9<=0 && 0<=Arg_9
0: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,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22) -> f1(X,X,X,X,X,X,X,X,X,Arg_9,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22)
Eliminate variables {A1,B1,C1,D1,X,Z,Arg_0,Arg_1,Arg_2,Arg_3,Arg_4,Arg_5,Arg_6,Arg_7,Arg_8,Arg_10,Arg_11,Arg_12,Arg_13,Arg_14,Arg_15,Arg_16,Arg_17,Arg_18,Arg_19,Arg_20,Arg_21,Arg_22} that do not contribute to the problem
Start: f2
Program_Vars: Arg_9
Temp_Vars: E1, F1, G1, Y
Locations: f1, f2, f300
Transitions:
16:f1(Arg_9) -> f1(Arg_9):|:Y<=0 && Arg_9+1<=0
17:f1(Arg_9) -> f1(Arg_9):|:Arg_9+1<=0 && 1<=E1 && 2<=F1
18:f1(Arg_9) -> f1(Arg_9):|:2+E1<=0 && 1<=Arg_9
19:f1(Arg_9) -> f1(Arg_9):|:1<=Arg_9 && 0<=F1 && 0<=1+G1
20:f1(Arg_9) -> f300(Arg_9):|:Y<=1 && Arg_9+1<=0 && 1<=E1
21:f1(Arg_9) -> f300(Arg_9):|:E1+1<=0 && 1<=Arg_9 && 0<=1+F1
22:f1(Arg_9) -> f300(Arg_9):|:Arg_9<=0 && 0<=Arg_9
23:f2(Arg_9) -> f1(Arg_9)
Overall timebound:inf {Infinity}
16: f1->f1: inf {Infinity}
17: f1->f1: inf {Infinity}
18: f1->f1: inf {Infinity}
19: f1->f1: inf {Infinity}
20: f1->f300: 1 {O(1)}
21: f1->f300: 1 {O(1)}
22: f1->f300: 1 {O(1)}
23: f2->f1: 1 {O(1)}
Overall costbound: inf {Infinity}
16: f1->f1: inf {Infinity}
17: f1->f1: inf {Infinity}
18: f1->f1: inf {Infinity}
19: f1->f1: inf {Infinity}
20: f1->f300: 1 {O(1)}
21: f1->f300: 1 {O(1)}
22: f1->f300: 1 {O(1)}
23: f2->f1: 1 {O(1)}
16: f1->f1, Arg_9: 2*Arg_9 {O(n)}
17: f1->f1, Arg_9: 2*Arg_9 {O(n)}
18: f1->f1, Arg_9: 2*Arg_9 {O(n)}
19: f1->f1, Arg_9: 2*Arg_9 {O(n)}
20: f1->f300, Arg_9: 5*Arg_9 {O(n)}
21: f1->f300, Arg_9: 5*Arg_9 {O(n)}
22: f1->f300, Arg_9: 0 {O(1)}
23: f2->f1, Arg_9: Arg_9 {O(n)}