% SZS status Success for MU98_ternary_addition.trs
2.31 (total time)

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

% SZS status Success for MU98_ternary_addition.trs
2.31 (total time)

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

Total time: 2.322332