MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { nats() -> adx(zeros()) , zeros() -> cons(0(), zeros()) , incr(cons(X, Y)) -> cons(s(X), incr(Y)) , adx(cons(X, Y)) -> incr(cons(X, adx(Y))) , hd(cons(X, Y)) -> X , tl(cons(X, Y)) -> Y} Proof Output: The input cannot be shown compatible