SUCCESS
0.09 (total time)

COMPLETED TRS
subset(+(x, y), z) -> if(has(z, y), subset(x, z), ff)
subset(empty, x) -> tt
has(+(x, y), z) -> if(eq(y, z), tt, has(x, z))
has(empty, x) -> ff
eq(s(x), s(y)) -> eq(x, y)
eq(s(x), 0) -> ff
eq(0, s(x)) -> ff
eq(0, 0) -> tt
if(ff, x, y) -> y
if(tt, x, y) -> x
if(x, tt, ff) -> x
if(x, y, y) -> y