% SZS status Success for A95_ex4_2_5a.trs
0.39 (total time)

S-CONVERGENT TRS: 
f_AC(a(),f_AC(a(),f_AC(b(),f_AC(b(),b())))) ->
f_AC(a(),f_AC(a(),f_AC(a(),b())))
f_AC(a(),f_AC(a(),f_AC(a(),f_AC(a(),b())))) ->
f_AC(a(),f_AC(a(),f_AC(b(),b())))

% SZS status Success for A95_ex4_2_5a.trs
0.40 (total time)

S-CONVERGENT TRS: 
f_AC(a(),f_AC(a(),f_AC(b(),f_AC(b(),b())))) ->
f_AC(a(),f_AC(a(),f_AC(a(),b())))
f_AC(a(),f_AC(a(),f_AC(a(),f_AC(a(),b())))) ->
f_AC(a(),f_AC(a(),f_AC(b(),b())))

Total time: 0.407737