MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { concat(leaf(), Y) -> Y , concat(cons(U, V), Y) -> cons(U, concat(V, Y)) , lessleaves(X, leaf()) -> false() , lessleaves(leaf(), cons(W, Z)) -> true() , lessleaves(cons(U, V), cons(W, Z)) -> lessleaves(concat(U, V), concat(W, Z))} Proof Output: The input cannot be shown compatible