YES
The TRS could be proven terminating. The proof took 27 ms.
The following DP Processors were used