% SZS status Success for MU98_binarith1b.trs
1.90 (total time)

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

% SZS status Success for MU98_binarith1b.trs
1.90 (total time)

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

Total time: 1.912638