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

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

Total time: 0.830659