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