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