SUCCESS
0.79 (total time)


COMPLETED TRS

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



STATISTICS

number of inference steps: 11 

total time:   0.79
orient:       0.67
rewrite:      0.07
deduce:       0.04
termination:  0.63

termination checked internally with ttt2fast
termination checks: 65 (yes: 55, timeouts: 0)
timelimit per check: 0.7