MAYBE 'Pop* with parameter subtitution (timeout of 60.0 seconds)' ----------------------------------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { eq(0(), 0()) -> true() , eq(s(X), s(Y)) -> eq(X, Y) , eq(X, Y) -> false() , inf(X) -> cons(X, inf(s(X))) , take(0(), X) -> nil() , take(s(X), cons(Y, L)) -> cons(Y, take(X, L)) , length(nil()) -> 0() , length(cons(X, L)) -> s(length(L))} Proof Output: The input cannot be shown compatible