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