SUCCESS
84.25 (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:   84.25
termination:  84.02

external termination prover: aprove07
calls to termination prover: 43 (yes: 42, timeouts: 0)
time limit per call:         5.0