3.60/3.62	MAYBE
3.60/3.62	
3.60/3.62	DP problem for innermost termination.
3.60/3.62	P =
3.60/3.62	  f10#(x1, x2, x3, x4, x5) -> f9#(x1, x2, x3, x4, x5) 
3.60/3.62	  f9#(I0, I1, I2, I3, I4) -> f1#(0, 0, rnd3, rnd4, I4) [rnd4 = rnd3 /\ rnd3 = rnd3]
3.60/3.62	  f2#(I5, I6, I7, I8, I9) -> f7#(I5, I6, I7, I8, I9) [1 <= I8]
3.60/3.62	  f2#(I10, I11, I12, I13, I14) -> f3#(0, I11, I12, I13, rnd5) [I13 <= 0 /\ y1 = 1 /\ rnd5 = rnd5 /\ 1 <= rnd5]
3.60/3.62	  f4#(I15, I16, I17, I18, I19) -> f1#(I15, 0, I20, I21, I19) [I19 <= 0 /\ I22 = 1 /\ I20 = I20 /\ I21 = I20]
3.60/3.62	  f4#(I23, I24, I25, I26, I27) -> f3#(I23, I24, I25, I26, I27) [1 <= I27]
3.60/3.62	  f8#(I28, I29, I30, I31, I32) -> f7#(I28, I29, I30, I31, I32) 
3.60/3.62	  f7#(I33, I34, I35, I36, I37) -> f8#(I33, I34, I35, I36, I37) 
3.60/3.62	  f3#(I43, I44, I45, I46, I47) -> f4#(I43, I44, I45, I46, I47) 
3.60/3.62	  f1#(I48, I49, I50, I51, I52) -> f2#(I48, I49, I50, I51, I52) 
3.60/3.62	R = 
3.60/3.62	  f10(x1, x2, x3, x4, x5) -> f9(x1, x2, x3, x4, x5) 
3.60/3.62	  f9(I0, I1, I2, I3, I4) -> f1(0, 0, rnd3, rnd4, I4) [rnd4 = rnd3 /\ rnd3 = rnd3]
3.60/3.62	  f2(I5, I6, I7, I8, I9) -> f7(I5, I6, I7, I8, I9) [1 <= I8]
3.60/3.62	  f2(I10, I11, I12, I13, I14) -> f3(0, I11, I12, I13, rnd5) [I13 <= 0 /\ y1 = 1 /\ rnd5 = rnd5 /\ 1 <= rnd5]
3.60/3.62	  f4(I15, I16, I17, I18, I19) -> f1(I15, 0, I20, I21, I19) [I19 <= 0 /\ I22 = 1 /\ I20 = I20 /\ I21 = I20]
3.60/3.62	  f4(I23, I24, I25, I26, I27) -> f3(I23, I24, I25, I26, I27) [1 <= I27]
3.60/3.62	  f8(I28, I29, I30, I31, I32) -> f7(I28, I29, I30, I31, I32) 
3.60/3.62	  f7(I33, I34, I35, I36, I37) -> f8(I33, I34, I35, I36, I37) 
3.60/3.62	  f5(I38, I39, I40, I41, I42) -> f6(I38, I39, I40, I41, I42) 
3.60/3.62	  f3(I43, I44, I45, I46, I47) -> f4(I43, I44, I45, I46, I47) 
3.60/3.62	  f1(I48, I49, I50, I51, I52) -> f2(I48, I49, I50, I51, I52) 
3.60/3.62	
3.60/3.62	The dependency graph for this problem is:
3.60/3.62	  0 -> 1
3.60/3.62	  1 -> 9
3.60/3.62	  2 -> 7
3.60/3.62	  3 -> 8
3.60/3.62	  4 -> 9
3.60/3.62	  5 -> 8
3.60/3.62	  6 -> 7
3.60/3.62	  7 -> 6
3.60/3.62	  8 -> 4, 5
3.60/3.62	  9 -> 2, 3
3.60/3.62	Where:
3.60/3.62	  0) f10#(x1, x2, x3, x4, x5) -> f9#(x1, x2, x3, x4, x5) 
3.60/3.62	  1) f9#(I0, I1, I2, I3, I4) -> f1#(0, 0, rnd3, rnd4, I4) [rnd4 = rnd3 /\ rnd3 = rnd3]
3.60/3.62	  2) f2#(I5, I6, I7, I8, I9) -> f7#(I5, I6, I7, I8, I9) [1 <= I8]
3.60/3.62	  3) f2#(I10, I11, I12, I13, I14) -> f3#(0, I11, I12, I13, rnd5) [I13 <= 0 /\ y1 = 1 /\ rnd5 = rnd5 /\ 1 <= rnd5]
3.60/3.62	  4) f4#(I15, I16, I17, I18, I19) -> f1#(I15, 0, I20, I21, I19) [I19 <= 0 /\ I22 = 1 /\ I20 = I20 /\ I21 = I20]
3.60/3.62	  5) f4#(I23, I24, I25, I26, I27) -> f3#(I23, I24, I25, I26, I27) [1 <= I27]
3.60/3.62	  6) f8#(I28, I29, I30, I31, I32) -> f7#(I28, I29, I30, I31, I32) 
3.60/3.62	  7) f7#(I33, I34, I35, I36, I37) -> f8#(I33, I34, I35, I36, I37) 
3.60/3.62	  8) f3#(I43, I44, I45, I46, I47) -> f4#(I43, I44, I45, I46, I47) 
3.60/3.62	  9) f1#(I48, I49, I50, I51, I52) -> f2#(I48, I49, I50, I51, I52) 
3.60/3.62	
3.60/3.62	We have the following SCCs.
3.60/3.62	  { 3, 4, 5, 8, 9 }
3.60/3.62	  { 6, 7 }
3.60/3.62	
3.60/3.62	DP problem for innermost termination.
3.60/3.62	P =
3.60/3.62	  f8#(I28, I29, I30, I31, I32) -> f7#(I28, I29, I30, I31, I32) 
3.60/3.62	  f7#(I33, I34, I35, I36, I37) -> f8#(I33, I34, I35, I36, I37) 
3.60/3.62	R = 
3.60/3.62	  f10(x1, x2, x3, x4, x5) -> f9(x1, x2, x3, x4, x5) 
3.60/3.62	  f9(I0, I1, I2, I3, I4) -> f1(0, 0, rnd3, rnd4, I4) [rnd4 = rnd3 /\ rnd3 = rnd3]
3.60/3.62	  f2(I5, I6, I7, I8, I9) -> f7(I5, I6, I7, I8, I9) [1 <= I8]
3.60/3.62	  f2(I10, I11, I12, I13, I14) -> f3(0, I11, I12, I13, rnd5) [I13 <= 0 /\ y1 = 1 /\ rnd5 = rnd5 /\ 1 <= rnd5]
3.60/3.62	  f4(I15, I16, I17, I18, I19) -> f1(I15, 0, I20, I21, I19) [I19 <= 0 /\ I22 = 1 /\ I20 = I20 /\ I21 = I20]
3.60/3.62	  f4(I23, I24, I25, I26, I27) -> f3(I23, I24, I25, I26, I27) [1 <= I27]
3.60/3.62	  f8(I28, I29, I30, I31, I32) -> f7(I28, I29, I30, I31, I32) 
3.60/3.62	  f7(I33, I34, I35, I36, I37) -> f8(I33, I34, I35, I36, I37) 
3.60/3.62	  f5(I38, I39, I40, I41, I42) -> f6(I38, I39, I40, I41, I42) 
3.60/3.62	  f3(I43, I44, I45, I46, I47) -> f4(I43, I44, I45, I46, I47) 
3.60/3.62	  f1(I48, I49, I50, I51, I52) -> f2(I48, I49, I50, I51, I52) 
3.60/3.62	
3.60/6.60	EOF