MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    a: Int
    b: Int
    f: Int -> Int
    g: Int -> Int
  Rules
    a -> f(?24) [>=(?24, 0)]
    a -> g(?25) [>=(?25, 0)]
    f(?26) -> b [?26 = 0]
    f(?27) -> f(?28) [or(and(>(?27, 0), +(*(2, ?28), 1) = ?27), and(>(?27, 0), *(2, ?28) = ?27))]
    g(?29) -> b [?29 = 0]
    g(?30) -> g(?31) [or(and(>(?30, 0), +(*(2, ?31), 1) = ?30), and(>(?30, 0), *(2, ?31) = ?30))]
Confluence could not be determined.

Elapsed Time: 8926.16 ms