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

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

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

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

Total time: 0.188893