MAYBE
Time: 0.178406
TRS:
 {      mark f X -> active f X,
        mark g X -> active g mark X,
        mark a() -> active a(),
        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 f g f a()}
 DP:
  DP:
   {      mark# f X -> active# f X,
          mark# g X -> mark# X,
          mark# g X -> g# mark X,
          mark# g X -> active# g mark X,
          mark# a() -> active# a(),
          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# f g f a(),
    active# f f a() -> f# g f a(),
    active# f f a() -> g# f a()}
  TRS:
  {      mark f X -> active f X,
         mark g X -> active g mark X,
         mark a() -> active a(),
         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 f g f a()}
  UR:
   {      mark f X -> active f X,
          mark g X -> active g mark X,
          mark a() -> active a(),
          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 f g f a()}
   EDG:
    {(f# mark X -> f# X, f# active X -> f# X)
     (f# mark X -> f# X, f# mark X -> f# X)
     (g# mark X -> g# X, g# active X -> g# X)
     (g# mark X -> g# X, g# mark X -> g# X)
     (mark# f X -> active# f X, active# f f a() -> g# f a())
     (mark# f X -> active# f X, active# f f a() -> f# g f a())
     (mark# f X -> active# f X, active# f f a() -> mark# f g f a())
     (active# f f a() -> mark# f g f a(), mark# f X -> active# f X)
     (mark# g X -> g# mark X, g# mark X -> g# X)
     (mark# g X -> g# mark X, g# active X -> g# X)
     (g# active X -> g# X, g# mark X -> g# X)
     (g# active X -> g# X, g# active X -> g# X)
     (f# active X -> f# X, f# mark X -> f# X)
     (f# active X -> f# X, f# active X -> f# X)
     (mark# g X -> mark# X, mark# f X -> active# f X)
     (mark# g X -> mark# X, mark# g X -> mark# X)
     (mark# g X -> mark# X, mark# g X -> g# mark X)
     (mark# g X -> mark# X, mark# g X -> active# g mark X)
     (mark# g X -> mark# X, mark# a() -> active# a())}
    STATUS:
     arrows: 0.868056
     SCCS (4):
      Scc:
       {  f# mark X -> f# X,
        f# active X -> f# X}
      Scc:
       {mark# g X -> mark# X}
      Scc:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Scc:
       {      mark# f X -> active# f X,
        active# f f a() -> mark# f g f a()}
      
      SCC (2):
       Strict:
        {  f# mark X -> f# X,
         f# active X -> f# X}
       Weak:
       {      mark f X -> active f X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              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 f g f a()}
       Open
      SCC (1):
       Strict:
        {mark# g X -> mark# X}
       Weak:
       {      mark f X -> active f X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              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 f g f a()}
       Open
      
      
      SCC (2):
       Strict:
        {  g# mark X -> g# X,
         g# active X -> g# X}
       Weak:
       {      mark f X -> active f X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              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 f g f a()}
       Open
      SCC (2):
       Strict:
        {      mark# f X -> active# f X,
         active# f f a() -> mark# f g f a()}
       Weak:
       {      mark f X -> active f X,
              mark g X -> active g mark X,
              mark a() -> active a(),
              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 f g f a()}
       Open