MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    fastfib: Int -> Unit
    return: Int -> Unit
    u: (Int, Int, Int, Int, Int) -> Unit
    v: (Int, Int, Int, Int, Int) -> Unit
  Rules
    v(!n, !i, !r, !o, !t) -> return(!r) [not(<=(!i, !n))]
    v(!n, !i, !r, !o, !t) -> v(!n, +(!i, 1), +(!r, !o), !r, !r) [<=(!i, !n)]
    u(!n, !i, !r, !o, !t) -> v(!n, 2, 1, 0, !t) [distinct(!n, 0)]
    u(0, !i, !r, !o, !t) -> return(0)
    fastfib(!n) -> u(!n, !rnd0, !rnd1, !rn2, !rnd3)
No termination info given.

Elapsed Time:  53.94 ms