MAYBE
Time: 0.077430
TRS:
 {   a__f(X, g X, Y) -> a__f(Y, Y, Y),
    a__f(X1, X2, X3) -> f(X1, X2, X3),
              a__g X -> g X,
            a__g b() -> c(),
              a__b() -> c(),
              a__b() -> b(),
            mark g X -> a__g mark X,
            mark c() -> c(),
            mark b() -> a__b(),
  mark f(X1, X2, X3) -> a__f(X1, X2, X3)}
 DP:
  DP:
   {   a__f#(X, g X, Y) -> a__f#(Y, Y, Y),
              mark# g X -> a__g# mark X,
              mark# g X -> mark# X,
              mark# b() -> a__b#(),
    mark# f(X1, X2, X3) -> a__f#(X1, X2, X3)}
  TRS:
  {   a__f(X, g X, Y) -> a__f(Y, Y, Y),
     a__f(X1, X2, X3) -> f(X1, X2, X3),
               a__g X -> g X,
             a__g b() -> c(),
               a__b() -> c(),
               a__b() -> b(),
             mark g X -> a__g mark X,
             mark c() -> c(),
             mark b() -> a__b(),
   mark f(X1, X2, X3) -> a__f(X1, X2, X3)}
  EDG:
   {(a__f#(X, g X, Y) -> a__f#(Y, Y, Y), a__f#(X, g X, Y) -> a__f#(Y, Y, Y))
    (mark# f(X1, X2, X3) -> a__f#(X1, X2, X3), a__f#(X, g X, Y) -> a__f#(Y, Y, Y))
    (mark# g X -> mark# X, mark# g X -> a__g# mark X)
    (mark# g X -> mark# X, mark# g X -> mark# X)
    (mark# g X -> mark# X, mark# b() -> a__b#())
    (mark# g X -> mark# X, mark# f(X1, X2, X3) -> a__f#(X1, X2, X3))}
   STATUS:
    arrows: 0.760000
    SCCS (2):
     Scc:
      {mark# g X -> mark# X}
     Scc:
      {a__f#(X, g X, Y) -> a__f#(Y, Y, Y)}
     
     SCC (1):
      Strict:
       {mark# g X -> mark# X}
      Weak:
      {   a__f(X, g X, Y) -> a__f(Y, Y, Y),
         a__f(X1, X2, X3) -> f(X1, X2, X3),
                   a__g X -> g X,
                 a__g b() -> c(),
                   a__b() -> c(),
                   a__b() -> b(),
                 mark g X -> a__g mark X,
                 mark c() -> c(),
                 mark b() -> a__b(),
       mark f(X1, X2, X3) -> a__f(X1, X2, X3)}
      Open
     
     SCC (1):
      Strict:
       {a__f#(X, g X, Y) -> a__f#(Y, Y, Y)}
      Weak:
      {   a__f(X, g X, Y) -> a__f(Y, Y, Y),
         a__f(X1, X2, X3) -> f(X1, X2, X3),
                   a__g X -> g X,
                 a__g b() -> c(),
                   a__b() -> c(),
                   a__b() -> b(),
                 mark g X -> a__g mark X,
                 mark c() -> c(),
                 mark b() -> a__b(),
       mark f(X1, X2, X3) -> a__f(X1, X2, X3)}
      Open