kill
% SZS status Success for abelian_groups_comm_action.trs
30.65 (total time)

S-CONVERGENT TRS: 
g1(zero()) -> zero()
g2(zero()) -> zero()
phi(zero(),x) -> x
phi(x,phi(y1,y2)) -> phi(p_AC(x,y1),y2)
phi(g2(x),zero()) -> g2(x)
phi(g1(x),zero()) -> g1(x)
p_AC(g1(x),g1(y1)) -> g1(p_AC(x,y1))
p_AC(g2(x),g2(y1)) -> g2(p_AC(x,y1))
phi(y1,g2(x)) -> phi(p_AC(g2(x),y1),zero())
phi(y1,g1(x)) -> phi(p_AC(g1(x),y1),zero())
i(g1(x)) -> g1(i(x))
i(g2(x)) -> g2(i(x))

kill
Utilx.Process.Stop