MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    f1: Int -> Int
    u_5: Int -> Int
    u_8: Int -> Int
  Rules
    u_8(!w_3) -> !w_3
    u_5(!w_2) -> u_8(f1(!w_2))
    f1(!a) -> u_5(f1(+(!a, 11))) [<=(!a, 100)]
    f1(!a) -> -(!a, 10) [>(!a, 100)]
No termination info given.

Elapsed Time:  41.26 ms