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

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

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

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

Total time: 0.028521