% SZS status Success for A95_ex4_2_4b.trs
5.48 (total time)

S-CONVERGENT TRS: 
add(nil(),nil()) -> zero()
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)
add(c(x,y),c(xs,ys)) -> p_AC(add(y,ys),p_AC(x,xs))

% SZS status Success for A95_ex4_2_4b.trs
5.49 (total time)

S-CONVERGENT TRS: 
add(nil(),nil()) -> zero()
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)
add(c(x,y),c(xs,ys)) -> p_AC(add(y,ys),p_AC(x,xs))

Total time: 5.499855