MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    fastfib: Int -> Int
    g: Int -> Int
    u: (Int, Int, Int, Int, Int) -> Int
    v: (Int, Int, Int, Int, Int) -> Int
  Rules
    g(!x) -> g(!x)
    v(!x, !i, !p, !q, !z) -> !p [>=(!i, !x)]
    v(!x, !i, !p, !q, !z) -> v(!x, +(!i, 1), +(!p, !q), !p, !z) [<(!i, !x)]
    u(!x, !i, !p, !q, !z) -> v(!x, !i, !p, !q, g(0)) [>(!x, 1)]
    u(!x, !i, !p, !q, !z) -> 1 [!x = 1]
    u(!x, !i, !p, !q, !z) -> 0 [<=(!x, 0)]
    fastfib(!x) -> u(!x, 0, 1, 0, 0)
No termination info given.

Elapsed Time:  56.79 ms