YES

This TRS is terminating using the additive interpretation 
g(delta2) =  + 0
c(delta1) =  + 2
f(delta0) =  + 1

Time: 0.000558 seconds
SUCCESS

Statistics:
Number of monomials: 6
Last formula building started for bound 3
Last SAT solving started for bound 3