% SZS status Success for K21_ex1.trs
0.01 (total time)

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

% SZS status Success for K21_ex1.trs
0.01 (total time)

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

Total time: 0.016472