MAYBE
Time: 0.176581
TRS:
 {      mark c X -> active c X,
        mark f X -> active f mark X,
        mark g X -> active g mark X,
        mark a() -> active a(),
        c mark X -> c X,
      c active X -> c X,
        f mark X -> f X,
      f active X -> f X,
        g mark X -> g X,
      g active X -> g X,
  active f f a() -> mark c f g f a()}
 DP:
  DP:
   {      mark# c X -> active# c X,
          mark# f X -> mark# X,
          mark# f X -> f# mark X,
          mark# f X -> active# f mark X,
          mark# g X -> mark# X,
          mark# g X -> g# mark X,
          mark# g X -> active# g mark X,
          mark# a() -> active# a(),
          c# mark X -> c# X,
        c# active X -> c# X,
          f# mark X -> f# X,
        f# active X -> f# X,
          g# mark X -> g# X,
        g# active X -> g# X,
    active# f f a() -> mark# c f g f a(),
    active# f f a() -> c# f g f a(),
    active# f f a() -> f# g f a(),
    active# f f a() -> g# f a()}
  TRS:
  {      mark c X -> active c X,
         mark f X -> active f mark X,
         mark g X -> active g mark X,
         mark a() -> active a(),
         c mark X -> c X,
       c active X -> c X,
         f mark X -> f X,
       f active X -> f X,
         g mark X -> g X,
       g active X -> g X,
   active f f a() -> mark c f g f a()}
  UR:
   {      mark c X -> active c X,
          mark f X -> active f mark X,
          mark g X -> active g mark X,
          mark a() -> active a(),
          c mark X -> c X,
        c active X -> c X,
          f mark X -> f X,
        f active X -> f X,
          g mark X -> g X,
        g active X -> g X,
    active f f a() -> mark c f g f a()}
   EDG:
    {(mark# f X -> f# mark X, f# active X -> f# X)
     (mark# f X -> f# mark X, f# mark X -> f# X)
     (mark# g X -> mark# X, mark# a() -> active# a())
     (mark# g X -> mark# X, mark# g X -> active# g mark X)
     (mark# g X -> mark# X, mark# g X -> g# mark X)
     (mark# g X -> mark# X, mark# g X -> mark# X)
     (mark# g X -> mark# X, mark# f X -> active# f mark X)
     (mark# g X -> mark# X, mark# f X -> f# mark X)
     (mark# g X -> mark# X, mark# f X -> mark# X)
     (mark# g X -> mark# X, mark# c X -> active# c X)
     (c# active X -> c# X, c# active X -> c# X)
     (c# active X -> c# X, c# mark X -> c# X)
     (f# active X -> f# X, f# active X -> f# X)
     (f# active X -> f# X, f# mark X -> f# X)
     (g# active X -> g# X, g# active X -> g# X)
     (g# active X -> g# X, g# mark X -> g# X)
     (mark# f X -> active# f mark X, active# f f a() -> g# f a())
     (mark# f X -> active# f mark X, active# f f a() -> f# g f a())
     (mark# f X -> active# f mark X, active# f f a() -> c# f g f a())
     (mark# f X -> active# f mark X, active# f f a() -> mark# c f g f a())
     (active# f f a() -> mark# c f g f a(), mark# c X -> active# c X)
     (g# mark X -> g# X, g# mark X -> g# X)
     (g# mark X -> g# X, g# active X -> g# X)
     (f# mark X -> f# X, f# mark X -> f# X)
     (f# mark X -> f# X, f# active X -> f# X)
     (c# mark X -> c# X, c# mark X -> c# X)
     (c# mark X -> c# X, c# active X -> c# X)
     (mark# f X -> mark# X, mark# c X -> active# c X)
     (mark# f X -> mark# X, mark# f X -> mark# X)
     (mark# f X -> mark# X, mark# f X -> f# mark X)
     (mark# f X -> mark# X, mark# f X -> active# f mark X)
     (mark# f X -> mark# X, mark# g X -> mark# X)
     (mark# f X -> mark# X, mark# g X -> g# mark X)
     (mark# f X -> mark# X, mark# g X -> active# g mark X)
     (mark# f X -> mark# X, mark# a() -> active# a())
     (mark# g X -> g# mark X, g# mark X -> g# X)
     (mark# g X -> g# mark X, g# active X -> g# X)}
    STATUS:
     arrows: 0.885802
     SCCS (4):
      Scc:
       {  c# mark X -> c# X,
        c# active X -> c# X}
      Scc:
       {mark# f X -> mark# X,
        mark# g X -> mark# X}
      Scc:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Scc:
       {  f# mark X -> f# X,
        f# active X -> f# X}
      
      SCC (2):
       Strict:
        {  c# mark X -> c# X,
         c# active X -> c# X}
       Weak:
       {      mark c X -> active c X,
              mark f X -> active f mark X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              c mark X -> c X,
            c active X -> c X,
              f mark X -> f X,
            f active X -> f X,
              g mark X -> g X,
            g active X -> g X,
        active f f a() -> mark c f g f a()}
       Open
      SCC (2):
       Strict:
        {mark# f X -> mark# X,
         mark# g X -> mark# X}
       Weak:
       {      mark c X -> active c X,
              mark f X -> active f mark X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              c mark X -> c X,
            c active X -> c X,
              f mark X -> f X,
            f active X -> f X,
              g mark X -> g X,
            g active X -> g X,
        active f f a() -> mark c f g f a()}
       Open
      
      
      
      
      
      
      
      
      SCC (2):
       Strict:
        {  g# mark X -> g# X,
         g# active X -> g# X}
       Weak:
       {      mark c X -> active c X,
              mark f X -> active f mark X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              c mark X -> c X,
            c active X -> c X,
              f mark X -> f X,
            f active X -> f X,
              g mark X -> g X,
            g active X -> g X,
        active f f a() -> mark c f g f a()}
       Open
      
      SCC (2):
       Strict:
        {  f# mark X -> f# X,
         f# active X -> f# X}
       Weak:
       {      mark c X -> active c X,
              mark f X -> active f mark X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              c mark X -> c X,
            c active X -> c X,
              f mark X -> f X,
            f active X -> f X,
              g mark X -> g X,
            g active X -> g X,
        active f f a() -> mark c f g f a()}
       Open