MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { f(0(), y) -> 0() , f(s(x), y) -> f(f(x, y), y)} Proof Output: The input cannot be shown compatible