The TRS could be proven non-terminating. The proof took 0 ms.

The rule U104(tt) -> plus(x(N, M), N) contains extra variables, thus the system is non-terminating.