% SZS status Success for strange_addition.trs
0.17 (total time)

S-CONVERGENT TRS: 
p(s(s(x))) -> s(p(s(x)))
d(+(s(x),y)) -> s(d(+(p(s(x)),y)))

Total time: 0.171281