MAYBE
Time: 0.009034
TRS:
 {b d x -> x,
  b c x -> c d a b x,
  a d x -> d c b a x,
  a c x -> x}
 DP:
  DP:
   {b# c x -> b# x,
    b# c x -> a# b x,
    a# d x -> b# a x,
    a# d x -> a# x}
  TRS:
  {b d x -> x,
   b c x -> c d a b x,
   a d x -> d c b a x,
   a c x -> x}
  UR:
   {b d x -> x,
    b c x -> c d a b x,
    a d x -> d c b a x,
    a c x -> x}
   EDG:
    {(a# d x -> a# x, a# d x -> a# x)
     (a# d x -> a# x, a# d x -> b# a x)
     (a# d x -> b# a x, b# c x -> a# b x)
     (a# d x -> b# a x, b# c x -> b# x)
     (b# c x -> a# b x, a# d x -> b# a x)
     (b# c x -> a# b x, a# d x -> a# x)
     (b# c x -> b# x, b# c x -> b# x)
     (b# c x -> b# x, b# c x -> a# b x)}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {b# c x -> b# x,
        b# c x -> a# b x,
        a# d x -> b# a x,
        a# d x -> a# x}
      
      SCC (4):
       Strict:
        {b# c x -> b# x,
         b# c x -> a# b x,
         a# d x -> b# a x,
         a# d x -> a# x}
       Weak:
       {b d x -> x,
        b c x -> c d a b x,
        a d x -> d c b a x,
        a c x -> x}
       Fail