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