MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    minus: (Int, Int) -> Int
    quot: (Int, Int) -> Int
  Rules
    minus(!x, !y) -> -(!x, !y) [and(>=(!y, 0), >=(!x, !y))]
    minus(!x, !y) -> minus(0, -(!y, !x)) [and(>=(!x, 0), >(!y, !x))]
    quot(0, !y) -> 0 [>(!y, 0)]
    quot(!x, !y) -> +(quot(minus(!x, !y), +(!y, 1)), 1) [and(>(!x, 0), >(!y, 0))]
    minus(minus(!x, !y), !z) -> minus(!x, +(!y, !z))
No termination info given.

Elapsed Time:  77.37 ms