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

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

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

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

Total time: 0.953529