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

Elapsed Time:  51.22 ms