YES

This TRS is terminating using the restricteddeltasimple interpretation 
h(delta11, X11) =  + 0*X11 + 0 + 2*X11*delta11 + 0*delta11
0(delta10) =  + 0 + 0*delta10
cons(delta9, X10, X9) =  + 0*X9 + 0*X10 + 2 + 1*X9*delta9 + 1*X10*delta9 + 1*delta9
g(delta8, X8) =  + 0*X8 + 0 + 1*X8*delta8 + 0*delta8
s(delta7, X7) =  + 0*X7 + 0 + 1*X7*delta7 + 1*delta7
f(delta6, X6) =  + 0*X6 + 0 + 1*X6*delta6 + 0*delta6
h_tau_1(delta11) =  + 1(delta11/(0 + 2 * delta11))
cons_tau_1(delta9) =  + 1(delta9/(0 + 1 * delta9))
cons_tau_2(delta9) =  + 1(delta9/(0 + 1 * delta9))
g_tau_1(delta8) =  + 1(delta8/(0 + 1 * delta8))
s_tau_1(delta7) =  + 1(delta7/(0 + 1 * delta7))
f_tau_1(delta6) =  + 1(delta6/(0 + 1 * delta6))

Time: 0.473669 seconds
SUCCESS

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