% SZS status Success for K21_ex2.trs
0.17 (total time)

S-CONVERGENT TRS: 
b() -> d()
g(d()) -> a()
*_AC(a(),d()) -> d()

% SZS status Success for K21_ex2.trs
0.16 (total time)

S-CONVERGENT TRS: 
b() -> d()
g(d()) -> a()
*_AC(a(),d()) -> d()

Total time: 0.174374