MAYBE 'Pop* (timeout of 60.0 seconds)' -------------------------------- Answer: MAYBE Input Problem: innermost runtime-complexity with respect to Rules: { zeros() -> cons(0(), zeros()) , U11(tt(), L) -> U12(tt(), L) , U12(tt(), L) -> s(length(L)) , U21(tt(), IL, M, N) -> U22(tt(), IL, M, N) , U22(tt(), IL, M, N) -> U23(tt(), IL, M, N) , U23(tt(), IL, M, N) -> cons(N, take(M, IL)) , length(nil()) -> 0() , length(cons(N, L)) -> U11(tt(), L) , take(0(), IL) -> nil() , take(s(M), cons(N, IL)) -> U21(tt(), IL, M, N)} Proof Output: The input cannot be shown compatible