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

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

Total time: 0.490176