SUCCESS
3.39 (total time)

COMPLETED TRS


                rev(x0) -> reviter(x0, nil()),
 reviter(.(x0, y0), z0) -> reviter(y0, .(x0, z0)),
     reviter(nil(), y0) -> y0,
 @(reviter(x0, y0), z1) -> reviter(x0, @(y0, z1)),
       @(.(x0, y0), z0) -> .(x0, @(y0, z0)),
           @(nil(), y0) -> y0,
       @(@(x0, y0), z0) -> @(x0, @(y0, z0))


STATISTICS

total time:   3.39
termination:  3.06

external termination prover: ttt2fast
calls to termination prover: 43 (yes: 42, timeouts: 0)
timelimit per call:          1.0