YES

This TRS is terminating using the additive interpretation 
h(delta9, X13) =  + 1*X13 + 2
i(delta8, X12) =  + 1*X12 + 3
s(delta7, X11) =  + 1*X11 + 0
h1(delta6, X10, X9) =  + 1*X9 + 1*X10 + 1
0(delta5) =  + 0
h2(delta4, X8, X7, X6) =  + 1*X6 + 1*X7 + 1*X8 + 0
j(delta3, X5, X4) =  + 1*X4 + 1*X5 + 3
k(delta2, X3) =  + 1*X3 + 1
f(delta1, X2, X1) =  + 1*X1 + 1*X2 + 3
g(delta0, X0) =  + 1*X0 + 1
h_tau_1(delta9) = 
i_tau_1(delta8) = 
s_tau_1(delta7) = 
h1_tau_1(delta6) = 
h1_tau_2(delta6) = 
h2_tau_1(delta4) = 
h2_tau_2(delta4) = 
h2_tau_3(delta4) = 
j_tau_1(delta3) = 
j_tau_2(delta3) = 
k_tau_1(delta2) = 
f_tau_1(delta1) = 
f_tau_2(delta1) = 
g_tau_1(delta0) = 

Time: 0.005383 seconds
SUCCESS

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