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