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