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