% SZS status Success for MU98_binarith1.trs
0.39 (total time)

S-CONVERGENT TRS: 
zero(sharp()) -> sharp()
plus_AC(zero(x),zero(y)) -> zero(plus_AC(x,y))
plus_AC(zero(x),one(y)) -> one(plus_AC(x,y))
plus_AC(one(x),one(y)) -> zero(plus_AC(one(sharp()),plus_AC(x,y)))

% SZS status Success for MU98_binarith1.trs
0.42 (total time)

S-CONVERGENT TRS: 
zero(sharp()) -> sharp()
plus_AC(zero(x),zero(y)) -> zero(plus_AC(x,y))
plus_AC(zero(x),one(y)) -> one(plus_AC(x,y))
plus_AC(one(x),one(y)) -> zero(plus_AC(one(sharp()),plus_AC(x,y)))

Total time: 0.434929