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