SUCCESS 7.06 (total time) COMPLETED TRS f(x) -> a(), h(x, y) -> a(), g(x, y) -> a() STATISTICS number of inference steps: 4 total time: 7.06 orient: 7.06 rewrite: 0.00 deduce: 0.00 termination: 7.05 external termination prover: aprove07 calls to termination prover: 3 (yes: 3, timeouts: 0) time limit per call: 5.0