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