% SZS status Success for bool_ring.trs
2.15 (total time)

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

% SZS status Success for bool_ring.trs
2.11 (total time)

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

Total time: 2.120243