SUCCESS
0.08 (total time)


COMPLETED TRS

 
       /(x, y) -> *(y, x),
       \(x, y) -> *(y, x),
 *(*(x, y), x) -> y,
 *(x, *(y, x)) -> y



STATISTICS

number of inference steps: 12 

total time:   0.08
orient:       0.01
rewrite:      0.02
deduce:       0.05
termination:  0.00

termination checked internally with ttt2fast
termination checks: 8 (yes: 8, timeouts: 0)
timelimit per check: 0.7