The TRS could be proven non-terminating. The proof took 0 ms.
The rule sel(s(N), cons(X)) -> sel(N, XS) contains extra variables, thus the system is non-terminating.