MAYBE
Time: 0.003280
TRS:
 {  mark g X -> active g X,
    mark h X -> active h mark X,
    mark f X -> active f mark X,
    g mark X -> g X,
  g active X -> g X,
    h mark X -> h X,
  h active X -> h X,
    f mark X -> f X,
  f active X -> f X,
  active f X -> mark g h f X}
 DP:
  DP:
   {  mark# g X -> active# g X,
      mark# h X -> mark# X,
      mark# h X -> h# mark X,
      mark# h X -> active# h mark X,
      mark# f X -> mark# X,
      mark# f X -> f# mark X,
      mark# f X -> active# f mark X,
      g# mark X -> g# X,
    g# active X -> g# X,
      h# mark X -> h# X,
    h# active X -> h# X,
      f# mark X -> f# X,
    f# active X -> f# X,
    active# f X -> mark# g h f X,
    active# f X -> g# h f X,
    active# f X -> h# f X}
  TRS:
  {  mark g X -> active g X,
     mark h X -> active h mark X,
     mark f X -> active f mark X,
     g mark X -> g X,
   g active X -> g X,
     h mark X -> h X,
   h active X -> h X,
     f mark X -> f X,
   f active X -> f X,
   active f X -> mark g h f X}
  UR:
   {  mark g X -> active g X,
      mark h X -> active h mark X,
      mark f X -> active f mark X,
      g mark X -> g X,
    g active X -> g X,
      h mark X -> h X,
    h active X -> h X,
      f mark X -> f X,
    f active X -> f X,
    active f X -> mark g h f X}
   EDG:
    {(mark# f X -> mark# X, mark# f X -> active# f mark X)
     (mark# f X -> mark# X, mark# f X -> f# mark X)
     (mark# f X -> mark# X, mark# f X -> mark# X)
     (mark# f X -> mark# X, mark# h X -> active# h mark X)
     (mark# f X -> mark# X, mark# h X -> h# mark X)
     (mark# f X -> mark# X, mark# h X -> mark# X)
     (mark# f X -> mark# X, mark# g X -> active# g X)
     (g# active X -> g# X, g# active X -> g# X)
     (g# active X -> g# X, g# mark X -> g# X)
     (h# active X -> h# X, h# active X -> h# X)
     (h# active X -> h# X, h# mark X -> h# X)
     (f# active X -> f# X, f# active X -> f# X)
     (f# active X -> f# X, f# mark X -> f# X)
     (mark# h X -> h# mark X, h# active X -> h# X)
     (mark# h X -> h# mark X, h# mark X -> h# X)
     (active# f X -> h# f X, h# active X -> h# X)
     (active# f X -> h# f X, h# mark X -> h# X)
     (mark# h X -> active# h mark X, active# f X -> h# f X)
     (mark# h X -> active# h mark X, active# f X -> g# h f X)
     (mark# h X -> active# h mark X, active# f X -> mark# g h f X)
     (active# f X -> g# h f X, g# active X -> g# X)
     (active# f X -> g# h f X, g# mark X -> g# X)
     (mark# f X -> active# f mark X, active# f X -> mark# g h f X)
     (mark# f X -> active# f mark X, active# f X -> g# h f X)
     (mark# f X -> active# f mark X, active# f X -> h# f X)
     (active# f X -> mark# g h f X, mark# g X -> active# g X)
     (active# f X -> mark# g h f X, mark# h X -> mark# X)
     (active# f X -> mark# g h f X, mark# h X -> h# mark X)
     (active# f X -> mark# g h f X, mark# h X -> active# h mark X)
     (active# f X -> mark# g h f X, mark# f X -> mark# X)
     (active# f X -> mark# g h f X, mark# f X -> f# mark X)
     (active# f X -> mark# g h f X, mark# f X -> active# f mark X)
     (mark# f X -> f# mark X, f# mark X -> f# X)
     (mark# f X -> f# mark X, f# active X -> f# X)
     (mark# g X -> active# g X, active# f X -> mark# g h f X)
     (mark# g X -> active# g X, active# f X -> g# h f X)
     (mark# g X -> active# g X, active# f X -> h# f X)
     (f# mark X -> f# X, f# mark X -> f# X)
     (f# mark X -> f# X, f# active X -> f# X)
     (h# mark X -> h# X, h# mark X -> h# X)
     (h# mark X -> h# X, h# active X -> h# X)
     (g# mark X -> g# X, g# mark X -> g# X)
     (g# mark X -> g# X, g# active X -> g# X)
     (mark# h X -> mark# X, mark# g X -> active# g X)
     (mark# h X -> mark# X, mark# h X -> mark# X)
     (mark# h X -> mark# X, mark# h X -> h# mark X)
     (mark# h X -> mark# X, mark# h X -> active# h mark X)
     (mark# h X -> mark# X, mark# f X -> mark# X)
     (mark# h X -> mark# X, mark# f X -> f# mark X)
     (mark# h X -> mark# X, mark# f X -> active# f mark X)}
    STATUS:
     arrows: 0.804688
     SCCS (4):
      Scc:
       {  mark# g X -> active# g X,
          mark# h X -> mark# X,
          mark# h X -> active# h mark X,
          mark# f X -> mark# X,
          mark# f X -> active# f mark X,
        active# f X -> mark# g h f X}
      Scc:
       {  f# mark X -> f# X,
        f# active X -> f# X}
      Scc:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Scc:
       {  h# mark X -> h# X,
        h# active X -> h# X}
      
      SCC (6):
       Strict:
        {  mark# g X -> active# g X,
           mark# h X -> mark# X,
           mark# h X -> active# h mark X,
           mark# f X -> mark# X,
           mark# f X -> active# f mark X,
         active# f X -> mark# g h f X}
       Weak:
       {  mark g X -> active g X,
          mark h X -> active h mark X,
          mark f X -> active f mark X,
          g mark X -> g X,
        g active X -> g X,
          h mark X -> h X,
        h active X -> h X,
          f mark X -> f X,
        f active X -> f X,
        active f X -> mark g h f X}
       Open
      
      SCC (2):
       Strict:
        {  f# mark X -> f# X,
         f# active X -> f# X}
       Weak:
       {  mark g X -> active g X,
          mark h X -> active h mark X,
          mark f X -> active f mark X,
          g mark X -> g X,
        g active X -> g X,
          h mark X -> h X,
        h active X -> h X,
          f mark X -> f X,
        f active X -> f X,
        active f X -> mark g h f X}
       Open
      
      
      SCC (2):
       Strict:
        {  g# mark X -> g# X,
         g# active X -> g# X}
       Weak:
       {  mark g X -> active g X,
          mark h X -> active h mark X,
          mark f X -> active f mark X,
          g mark X -> g X,
        g active X -> g X,
          h mark X -> h X,
        h active X -> h X,
          f mark X -> f X,
        f active X -> f X,
        active f X -> mark g h f X}
       Open
      
      SCC (2):
       Strict:
        {  h# mark X -> h# X,
         h# active X -> h# X}
       Weak:
       {  mark g X -> active g X,
          mark h X -> active h mark X,
          mark f X -> active f mark X,
          g mark X -> g X,
        g active X -> g X,
          h mark X -> h X,
        h active X -> h X,
          f mark X -> f X,
        f active X -> f X,
        active f X -> mark g h f X}
       Open