% SZS status Success for semiring.trs
4.09 (total time)

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

Total time: 4.089147