MAYBE
Time: 0.015322
TRS:
 {    mark c X -> active c X,
      mark f X -> active f mark X,
      mark g X -> active g X,
      mark d X -> active d X,
      mark h X -> active h mark X,
      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 c X -> mark d X,
  active f f X -> mark c f g f X,
    active h X -> mark c d X,
      d mark X -> d X,
    d active X -> d X,
      h mark X -> h X,
    h active X -> h X}
 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 -> active# g X,
        mark# d X -> active# d X,
        mark# h X -> mark# X,
        mark# h X -> active# h mark X,
        mark# h X -> h# mark X,
        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# c X -> mark# d X,
      active# c X -> d# X,
    active# f f X -> mark# c f g f X,
    active# f f X -> c# f g f X,
    active# f f X -> f# g f X,
    active# f f X -> g# f X,
      active# h X -> mark# c d X,
      active# h X -> c# d X,
      active# h X -> d# X,
        d# mark X -> d# X,
      d# active X -> d# X,
        h# mark X -> h# X,
      h# active X -> h# X}
  TRS:
  {    mark c X -> active c X,
       mark f X -> active f mark X,
       mark g X -> active g X,
       mark d X -> active d X,
       mark h X -> active h mark X,
       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 c X -> mark d X,
   active f f X -> mark c f g f X,
     active h X -> mark c d X,
       d mark X -> d X,
     d active X -> d X,
       h mark X -> h X,
     h active X -> h X}
  UR:
   {    mark c X -> active c X,
        mark f X -> active f mark X,
        mark g X -> active g X,
        mark d X -> active d X,
        mark h X -> active h mark X,
        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 c X -> mark d X,
    active f f X -> mark c f g f X,
      active h X -> mark c d X,
        d mark X -> d X,
      d active X -> d X,
        h mark X -> h X,
      h active X -> h X}
   EDG:
    {(mark# h X -> active# h mark X, active# h X -> d# X)
     (mark# h X -> active# h mark X, active# h X -> c# d X)
     (mark# h X -> active# h mark X, active# h X -> mark# c d X)
     (active# h X -> mark# c d X, mark# c X -> active# c 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# h X -> mark# X)
     (mark# h X -> mark# X, mark# d X -> active# d X)
     (mark# h X -> mark# X, mark# g X -> active# g X)
     (mark# h X -> mark# X, mark# f X -> active# f mark X)
     (mark# h X -> mark# X, mark# f X -> f# mark X)
     (mark# h X -> mark# X, mark# f X -> mark# X)
     (mark# h 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)
     (active# h X -> d# X, d# active X -> d# X)
     (active# h X -> d# X, d# mark X -> d# X)
     (d# active X -> d# X, d# active X -> d# X)
     (d# active X -> d# X, d# mark X -> d# X)
     (h# active X -> h# X, h# active X -> h# X)
     (h# active X -> h# X, h# mark X -> h# X)
     (mark# f X -> f# mark X, f# active X -> f# X)
     (mark# f X -> f# mark X, f# mark X -> f# X)
     (active# c X -> mark# d X, mark# d X -> active# d X)
     (active# f f X -> mark# c f g f X, mark# c X -> active# c X)
     (mark# h X -> h# mark X, h# mark X -> h# X)
     (mark# h X -> h# mark X, h# active X -> h# X)
     (mark# c X -> active# c X, active# c X -> mark# d X)
     (mark# c X -> active# c X, active# c X -> d# X)
     (h# mark X -> h# X, h# mark X -> h# X)
     (h# mark X -> h# X, h# active X -> h# X)
     (d# mark X -> d# X, d# mark X -> d# X)
     (d# mark X -> d# X, d# active X -> d# X)
     (active# c X -> d# X, d# mark X -> d# X)
     (active# c X -> d# X, d# active X -> d# 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 -> active# g X)
     (mark# f X -> mark# X, mark# d X -> active# d X)
     (mark# f X -> mark# X, mark# h 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 -> active# f mark X, active# f f X -> mark# c f g f X)
     (mark# f X -> active# f mark X, active# f f X -> c# f g f X)
     (mark# f X -> active# f mark X, active# f f X -> f# g f X)
     (mark# f X -> active# f mark X, active# f f X -> g# f X)}
    STATUS:
     arrows: 0.926020
     SCCS (6):
      Scc:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Scc:
       {  c# mark X -> c# X,
        c# active X -> c# X}
      Scc:
       {mark# f X -> mark# X,
        mark# h X -> mark# X}
      Scc:
       {  h# mark X -> h# X,
        h# active X -> h# X}
      Scc:
       {  f# mark X -> f# X,
        f# active X -> f# X}
      Scc:
       {  d# mark X -> d# X,
        d# active X -> d# X}
      
      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 X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       Open
      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 X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       Open
      SCC (2):
       Strict:
        {mark# f X -> mark# X,
         mark# h X -> mark# X}
       Weak:
       {    mark c X -> active c X,
            mark f X -> active f mark X,
            mark g X -> active g X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       Open
      
      SCC (2):
       Strict:
        {  h# mark X -> h# X,
         h# active X -> h# X}
       Weak:
       {    mark c X -> active c X,
            mark f X -> active f mark X,
            mark g X -> active g X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       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 X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       Open
      
      
      
      
      
      
      
      
      
      
      
      SCC (2):
       Strict:
        {  d# mark X -> d# X,
         d# active X -> d# X}
       Weak:
       {    mark c X -> active c X,
            mark f X -> active f mark X,
            mark g X -> active g X,
            mark d X -> active d X,
            mark h X -> active h mark X,
            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 c X -> mark d X,
        active f f X -> mark c f g f X,
          active h X -> mark c d X,
            d mark X -> d X,
          d active X -> d X,
            h mark X -> h X,
          h active X -> h X}
       Open