% SZS status Success for A95_ex4_2_15b.trs
0.03 (total time)

S-CONVERGENT TRS: 
f(zero()) -> zero()
f(p_AC(x,y)) -> p_AC(f(x),f(y))

% SZS status Success for A95_ex4_2_15b.trs
0.03 (total time)

S-CONVERGENT TRS: 
f(zero()) -> zero()
f(p_AC(x,y)) -> p_AC(f(x),f(y))

Total time: 0.035121