MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    f2: Int -> Int
    u_15: Int -> Int
    u_18: Int -> Int
  Rules
    u_18(!w_6) -> !w_6
    u_15(!w_5) -> u_18(f2(!w_5))
    f2(!x) -> -(!x, 10) [>=(!x, 101)]
    f2(!x) -> u_15(f2(+(11, !x))) [<(!x, 101)]
No termination info given.

Elapsed Time:  43.90 ms