% SZS status Success for ring.trs
10.82 (total time)

S-CONVERGENT TRS: 
m(x,p_AC(y,z)) -> p_AC(m(x,y),m(x,z))
m(p_AC(x,y),z) -> p_AC(m(x,z),m(y,z))
m(x,zero()) -> zero()
m(zero(),x) -> zero()
m(i(x),y) -> i(m(x,y))
m(x,i(y)) -> i(m(x,y))

% SZS status Success for ring.trs
10.82 (total time)

S-CONVERGENT TRS: 
m(x,p_AC(y,z)) -> p_AC(m(x,y),m(x,z))
m(p_AC(x,y),z) -> p_AC(m(x,z),m(y,z))
m(x,zero()) -> zero()
m(zero(),x) -> zero()
m(i(x),y) -> i(m(x,y))
m(x,i(y)) -> i(m(x,y))

Total time: 10.836107