The TRS could be proven non-terminating. The proof took 0 ms.
The rule U14(tt) -> snd(splitAt(N, XS)) contains extra variables, thus the system is non-terminating.