% SZS status Success for A95_ex4_2_4a.trs
9.82 (total time)

S-CONVERGENT TRS: 
s(p(x)) -> x
p(s(x)) -> x
m(x,zero()) -> x
m(x,s(y)) -> p(m(x,y))
a(s(y),x) -> s(a(x,y))
m(x,p(y)) -> s(m(x,y))
a(p(x),y) -> p(a(x,y))

Total time: 9.823707