SUCCESS
0.12 (total time)

COMPLETED TRS
eq(s(x), y) -> eq(x, p(y))
eq(p(x), p(y)) -> eq(x, y)
eq(p(x), x) -> false
eq(x, s(y)) -> eq(p(x), y)
eq(x, p(x)) -> false
eq(x, x) -> true
p(s(x)) -> x