YES
LCTRS
  Theories
    Core, Ints
  Signature
    max: (Int, Int) -> Int
  Rules
    max(!x, !y) -> !x [>=(!x, !y)]
    max(!x, !y) -> !y [>=(!y, !x)]
* No Dependency Pairs.

Elapsed Time:   5.38 ms