% SZS status Success for SK90_ex3_13.trs
0.04 (total time)

S-CONVERGENT TRS: 
exp(zero()) -> one()
p_AC(zero(),x) -> x
m_AC(one(),x) -> x
exp(p_AC(x,y)) -> m_AC(exp(x),exp(y))

% SZS status Success for SK90_ex3_13.trs
0.04 (total time)

S-CONVERGENT TRS: 
exp(zero()) -> one()
p_AC(zero(),x) -> x
m_AC(one(),x) -> x
exp(p_AC(x,y)) -> m_AC(exp(x),exp(y))

Total time: 0.055501