SUCCESS
0.15 (total time)

COMPLETED TRS
rev(rev(x)) -> x
rev(.(x, y)) -> @(rev(y), .(x, nil))
rev(nil) -> nil
rev(@(x, .(y, nil))) -> .(y, rev(x))
@(.(x, y), z) -> .(x, @(y, z))
@(nil, x) -> x