0.00/0.21 MAYBE 0.00/0.21 0.00/0.21 DP problem for innermost termination. 0.00/0.21 P = 0.00/0.21 eval#(i, j, k) -> eval#(j, i + 1, k - 1) [i <= 100 && j <= k] 0.00/0.21 R = 0.00/0.21 eval(i, j, k) -> eval(j, i + 1, k - 1) [i <= 100 && j <= k] 0.00/0.21 0.00/3.19 EOF