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

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

Total time: 3.714013