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