% SZS status Success for sp.trs
1.39 (total time)

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

Total time: 1.394580