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

S-CONVERGENT TRS: 
add(nil(),nil()) -> zero()
p(s(y),x) -> s(p(x,y))
add(c(x,y),nil()) -> p(add(y,nil()),x)
add(nil(),c(x,y)) -> p(add(nil(),y),x)
add(c(x,z),c(y,xs)) -> p(add(z,xs),p(x,y))

Total time: 15.306917