MAYBE
Time: 2.201274
TRS:
 {    mark h X -> active h X,
      mark g X -> active g X,
      mark d() -> active d(),
      mark c() -> active c(),
      h mark X -> h X,
    h active X -> h X,
  active h d() -> mark g c(),
    active g X -> mark h X,
    active c() -> mark d(),
      g mark X -> g X,
    g active X -> g X}
 DP:
  DP:
   {    mark# h X -> active# h X,
        mark# g X -> active# g X,
        mark# d() -> active# d(),
        mark# c() -> active# c(),
        h# mark X -> h# X,
      h# active X -> h# X,
    active# h d() -> mark# g c(),
    active# h d() -> g# c(),
      active# g X -> mark# h X,
      active# g X -> h# X,
      active# c() -> mark# d(),
        g# mark X -> g# X,
      g# active X -> g# X}
  TRS:
  {    mark h X -> active h X,
       mark g X -> active g X,
       mark d() -> active d(),
       mark c() -> active c(),
       h mark X -> h X,
     h active X -> h X,
   active h d() -> mark g c(),
     active g X -> mark h X,
     active c() -> mark d(),
       g mark X -> g X,
     g active X -> g X}
  UR:
   {  h mark X -> h X,
    h active X -> h X,
      g mark X -> g X,
    g active X -> g X}
   EDG:
    {(mark# c() -> active# c(), active# c() -> mark# d())
     (active# c() -> mark# d(), mark# d() -> active# d())
     (h# active X -> h# X, h# active X -> h# X)
     (h# active X -> h# X, h# mark X -> h# X)
     (g# mark X -> g# X, g# active X -> g# X)
     (g# mark X -> g# X, g# mark X -> g# X)
     (active# h d() -> mark# g c(), mark# g X -> active# g X)
     (mark# g X -> active# g X, active# g X -> h# X)
     (mark# g X -> active# g X, active# g X -> mark# h X)
     (active# g X -> mark# h X, mark# h X -> active# h X)
     (mark# h X -> active# h X, active# h d() -> mark# g c())
     (mark# h X -> active# h X, active# h d() -> g# c())
     (g# active X -> g# X, g# mark X -> g# X)
     (g# active X -> g# X, g# active X -> g# X)
     (active# g X -> h# X, h# mark X -> h# X)
     (active# g X -> h# X, h# active X -> h# X)
     (h# mark X -> h# X, h# mark X -> h# X)
     (h# mark X -> h# X, h# active X -> h# X)}
    STATUS:
     arrows: 0.893491
     SCCS (3):
      Scc:
       {    mark# h X -> active# h X,
            mark# g X -> active# g X,
        active# h d() -> mark# g c(),
          active# g X -> mark# h X}
      Scc:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Scc:
       {  h# mark X -> h# X,
        h# active X -> h# X}
      
      SCC (4):
       Strict:
        {    mark# h X -> active# h X,
             mark# g X -> active# g X,
         active# h d() -> mark# g c(),
           active# g X -> mark# h X}
       Weak:
       {    mark h X -> active h X,
            mark g X -> active g X,
            mark d() -> active d(),
            mark c() -> active c(),
            h mark X -> h X,
          h active X -> h X,
        active h d() -> mark g c(),
          active g X -> mark h X,
          active c() -> mark d(),
            g mark X -> g X,
          g active X -> g X}
       Open
      SCC (2):
       Strict:
        {  g# mark X -> g# X,
         g# active X -> g# X}
       Weak:
       {    mark h X -> active h X,
            mark g X -> active g X,
            mark d() -> active d(),
            mark c() -> active c(),
            h mark X -> h X,
          h active X -> h X,
        active h d() -> mark g c(),
          active g X -> mark h X,
          active c() -> mark d(),
            g mark X -> g X,
          g active X -> g X}
       Open
      
      SCC (2):
       Strict:
        {  h# mark X -> h# X,
         h# active X -> h# X}
       Weak:
       {    mark h X -> active h X,
            mark g X -> active g X,
            mark d() -> active d(),
            mark c() -> active c(),
            h mark X -> h X,
          h active X -> h X,
        active h d() -> mark g c(),
          active g X -> mark h X,
          active c() -> mark d(),
            g mark X -> g X,
          g active X -> g X}
       Open