SUCCESS
0.10 (total time)


COMPLETED TRS

     f(y0) -> a(),
 h(x0, y0) -> a(),
 g(x0, y0) -> a()


STATISTICS

total time:   0.10
termination:  0.09

external termination prover: ttt2fast
calls to termination prover: 3 (yes: 3, timeouts: 0)
time limit per call:         1.0