SUCCESS
5.19 (total time)


COMPLETED TRS

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


STATISTICS

total time:   5.19
termination:  5.18

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