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