% SZS status Success for nats.trs
0.35 (total time)

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

Total time: 0.352766