% SZS status Success for abelian_groups_homomorphism.trs
2.61 (total time)

S-CONVERGENT TRS: 
g(one()) -> one()
f(g(x),g(y)) -> g(f(x,y))
i(g(x)) -> g(i(x))

Total time: 2.614814