% SZS status Success for K00_ex5_4_2.trs
0.12 (total time)

S-CONVERGENT TRS: 
f(g(x)) -> f(f(x))
h_AC(f(x),f(x)) -> g(x)
g(g(x)) -> g(f(x))

% SZS status Success for K00_ex5_4_2.trs
0.12 (total time)

S-CONVERGENT TRS: 
f(g(x)) -> f(f(x))
h_AC(f(x),f(x)) -> g(x)
g(g(x)) -> g(f(x))

Total time: 0.124155