MAYBE 'epo* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { nats() -> cons(0(), n__incr(n__nats())) , pairs() -> cons(0(), n__incr(n__odds())) , odds() -> incr(pairs()) , incr(cons(X, XS)) -> cons(s(X), n__incr(activate(XS))) , head(cons(X, XS)) -> X , tail(cons(X, XS)) -> activate(XS) , incr(X) -> n__incr(X) , nats() -> n__nats() , odds() -> n__odds() , activate(n__incr(X)) -> incr(activate(X)) , activate(n__nats()) -> nats() , activate(n__odds()) -> odds() , activate(X) -> X} Proof Output: The input cannot be shown compatible The following warning(s) occured: Warning when parsing problem: Unsupported strategy 'OUTERMOST'