0.00/0.38 MAYBE 0.00/0.38 0.00/0.38 DP problem for innermost termination. 0.00/0.38 P = 0.00/0.38 eval#(x, y, z) -> eval#(x - z, y + z * z, z - 1) [x >= y] 0.00/0.38 eval#(I0, I1, I2) -> eval#(I0 + 1, I1 + I0, I2) [I0 >= I1] 0.00/0.38 R = 0.00/0.38 eval(x, y, z) -> eval(x - z, y + z * z, z - 1) [x >= y] 0.00/0.38 eval(I0, I1, I2) -> eval(I0 + 1, I1 + I0, I2) [I0 >= I1] 0.00/0.38 0.00/3.36 EOF