SUCCESS
1.45 (total time)


COMPLETED TRS

 
        /(x0, y0) -> *(y0, x0),
        \(x0, y0) -> *(y0, x0),
 *(*(y0, x0), y0) -> x0,
 *(x0, *(y0, x0)) -> y0



STATISTICS

total time:   1.45
termination:  1.43

external termination prover: ttt2fast
calls to termination prover: 13 (yes: 13, timeouts: 0)
timelimit per call:          5.0