kill
% SZS status Success for addition_list_reverse.trs
33.44 (total time)

S-CONVERGENT TRS: 
rev(nil()) -> nil()
add(nil(),nil()) -> zero()
append(nil(),x) -> x
rev(rev(x)) -> x
p_AC(s(y),x) -> s(p_AC(x,y))
add(c(x,y),nil()) -> p_AC(add(y,nil()),x)
add(nil(),c(x,y)) -> p_AC(add(nil(),y),x)
append(c(x,y),xs) -> c(x,append(y,xs))
add(c(x,y),c(xs,ys)) -> p_AC(add(y,ys),p_AC(x,xs))
rev(c(x,nil())) -> c(x,nil())
append(y,c(x,nil())) -> rev(c(x,rev(y)))
rev(c(x,c(y,nil()))) -> c(y,c(x,nil()))

kill
Utilx.Process.Stop