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

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

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

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

Total time: 0.152204