% SZS status Success for K21_ex3.trs
0.03 (total time)

S-CONVERGENT TRS: 
e() -> ep()
+_AC(a(),b()) -> *_AC(a(),b())
g(ep()) -> *_AC(a(),c())

% SZS status Success for K21_ex3.trs
0.03 (total time)

S-CONVERGENT TRS: 
e() -> ep()
+_AC(a(),b()) -> *_AC(a(),b())
g(ep()) -> *_AC(a(),c())

Total time: 0.032351