SUCCESS
78.48 (total time)

COMPLETED TRS


         g(g(x1)) -> g(x1),
         g(f(x0)) -> f(x0),
     g(*(x0, y0)) -> f(y0),
         f(g(z0)) -> g(z0),
         f(f(x0)) -> f(x0),
     f(*(x6, z0)) -> g(x6),
     *(g(x0), y0) -> *(x0, y0),
  *(f(x0), g(x0)) -> x0,
     *(f(x0), x0) -> f(x0),
 *(*(x1, x0), y2) -> *(f(x0), y2),
 *(x3, *(x1, y4)) -> *(x3, g(x1)),
     *(z0, g(z0)) -> g(z0),
     *(y0, f(z0)) -> *(y0, z0)


STATISTICS

total time:   78.48
termination:  25.71

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