YES

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

Time: 0.000684 seconds
SUCCESS

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