MAYBE
Time: 0.007785
TRS:
 {      h ok X -> ok h X,
  active h d() -> mark g c(),
    active g X -> mark h X,
    active c() -> mark d(),
        g ok X -> ok g X,
    proper h X -> h proper X,
    proper g X -> g proper X,
    proper d() -> ok d(),
    proper c() -> ok c(),
    top mark X -> top proper X,
      top ok X -> top active X}
 DP:
  DP:
   {      h# ok X -> h# X,
    active# h d() -> g# c(),
      active# g X -> h# X,
          g# ok X -> g# X,
      proper# h X -> h# proper X,
      proper# h X -> proper# X,
      proper# g X -> g# proper X,
      proper# g X -> proper# X,
      top# mark X -> proper# X,
      top# mark X -> top# proper X,
        top# ok X -> active# X,
        top# ok X -> top# active X}
  TRS:
  {      h ok X -> ok h X,
   active h d() -> mark g c(),
     active g X -> mark h X,
     active c() -> mark d(),
         g ok X -> ok g X,
     proper h X -> h proper X,
     proper g X -> g proper X,
     proper d() -> ok d(),
     proper c() -> ok c(),
     top mark X -> top proper X,
       top ok X -> top active X}
  EDG:
   {(active# g X -> h# X, h# ok X -> h# X)
    (proper# h X -> proper# X, proper# g X -> proper# X)
    (proper# h X -> proper# X, proper# g X -> g# proper X)
    (proper# h X -> proper# X, proper# h X -> proper# X)
    (proper# h X -> proper# X, proper# h X -> h# proper X)
    (top# mark X -> proper# X, proper# g X -> proper# X)
    (top# mark X -> proper# X, proper# g X -> g# proper X)
    (top# mark X -> proper# X, proper# h X -> proper# X)
    (top# mark X -> proper# X, proper# h X -> h# proper X)
    (proper# g X -> g# proper X, g# ok X -> g# X)
    (top# ok X -> top# active X, top# ok X -> top# active X)
    (top# ok X -> top# active X, top# ok X -> active# X)
    (top# ok X -> top# active X, top# mark X -> top# proper X)
    (top# ok X -> top# active X, top# mark X -> proper# X)
    (top# mark X -> top# proper X, top# mark X -> proper# X)
    (top# mark X -> top# proper X, top# mark X -> top# proper X)
    (top# mark X -> top# proper X, top# ok X -> active# X)
    (top# mark X -> top# proper X, top# ok X -> top# active X)
    (proper# h X -> h# proper X, h# ok X -> h# X)
    (top# ok X -> active# X, active# h d() -> g# c())
    (top# ok X -> active# X, active# g X -> h# X)
    (proper# g X -> proper# X, proper# h X -> h# proper X)
    (proper# g X -> proper# X, proper# h X -> proper# X)
    (proper# g X -> proper# X, proper# g X -> g# proper X)
    (proper# g X -> proper# X, proper# g X -> proper# X)
    (g# ok X -> g# X, g# ok X -> g# X)
    (h# ok X -> h# X, h# ok X -> h# X)}
   EDG:
    {(proper# g X -> g# proper X, g# ok X -> g# X)
     (top# ok X -> top# active X, top# ok X -> top# active X)
     (top# ok X -> top# active X, top# ok X -> active# X)
     (top# ok X -> top# active X, top# mark X -> top# proper X)
     (top# ok X -> top# active X, top# mark X -> proper# X)
     (top# mark X -> top# proper X, top# mark X -> proper# X)
     (top# mark X -> top# proper X, top# mark X -> top# proper X)
     (top# mark X -> top# proper X, top# ok X -> active# X)
     (top# mark X -> top# proper X, top# ok X -> top# active X)
     (proper# h X -> h# proper X, h# ok X -> h# X)}
    EDG:
     {(proper# g X -> g# proper X, g# ok X -> g# X)
      (top# ok X -> top# active X, top# mark X -> top# proper X)
      (top# ok X -> top# active X, top# mark X -> proper# X)
      (top# mark X -> top# proper X, top# ok X -> active# X)
      (top# mark X -> top# proper X, top# ok X -> top# active X)
      (proper# h X -> h# proper X, h# ok X -> h# X)}
     STATUS:
      arrows: 0.958333
      SCCS (1):
       Scc:
        {top# mark X -> top# proper X,
           top# ok X -> top# active X}
       
       SCC (2):
        Strict:
         {top# mark X -> top# proper X,
            top# ok X -> top# active X}
        Weak:
        {      h ok X -> ok h X,
         active h d() -> mark g c(),
           active g X -> mark h X,
           active c() -> mark d(),
               g ok X -> ok g X,
           proper h X -> h proper X,
           proper g X -> g proper X,
           proper d() -> ok d(),
           proper c() -> ok c(),
           top mark X -> top proper X,
             top ok X -> top active X}
        Open