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

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

Total time: 0.103670