SUCCESS
0.01 (total time)

COMPLETED TRS
plus(x, s(y)) -> s(plus(x, y))
plus(x, z) -> x