MAYBE
Time: 0.002207
TRS:
 {  a c x -> b x,
  a a b x -> b c b a a a x}
 DP:
  DP:
   {a# a b x -> a# x,
    a# a b x -> a# a x,
    a# a b x -> a# a a x}
  TRS:
  {  a c x -> b x,
   a a b x -> b c b a a a x}
  EDG:
   {(a# a b x -> a# x, a# a b x -> a# a a x)
    (a# a b x -> a# x, a# a b x -> a# a x)
    (a# a b x -> a# x, a# a b x -> a# x)
    (a# a b x -> a# a x, a# a b x -> a# x)
    (a# a b x -> a# a x, a# a b x -> a# a x)
    (a# a b x -> a# a x, a# a b x -> a# a a x)
    (a# a b x -> a# a a x, a# a b x -> a# x)
    (a# a b x -> a# a a x, a# a b x -> a# a x)
    (a# a b x -> a# a a x, a# a b x -> a# a a x)}
   EDG:
    {(a# a b x -> a# x, a# a b x -> a# a a x)
     (a# a b x -> a# x, a# a b x -> a# a x)
     (a# a b x -> a# x, a# a b x -> a# x)
     (a# a b x -> a# a x, a# a b x -> a# x)
     (a# a b x -> a# a x, a# a b x -> a# a x)
     (a# a b x -> a# a x, a# a b x -> a# a a x)
     (a# a b x -> a# a a x, a# a b x -> a# x)
     (a# a b x -> a# a a x, a# a b x -> a# a x)
     (a# a b x -> a# a a x, a# a b x -> a# a a x)}
    EDG:
     {(a# a b x -> a# x, a# a b x -> a# a a x)
      (a# a b x -> a# x, a# a b x -> a# a x)
      (a# a b x -> a# x, a# a b x -> a# x)
      (a# a b x -> a# a x, a# a b x -> a# x)
      (a# a b x -> a# a x, a# a b x -> a# a x)
      (a# a b x -> a# a x, a# a b x -> a# a a x)
      (a# a b x -> a# a a x, a# a b x -> a# x)
      (a# a b x -> a# a a x, a# a b x -> a# a x)
      (a# a b x -> a# a a x, a# a b x -> a# a a x)}
     STATUS:
      arrows: 0.000000
      SCCS (1):
       Scc:
        {a# a b x -> a# x,
         a# a b x -> a# a x,
         a# a b x -> a# a a x}
       
       SCC (3):
        Strict:
         {a# a b x -> a# x,
          a# a b x -> a# a x,
          a# a b x -> a# a a x}
        Weak:
        {  a c x -> b x,
         a a b x -> b c b a a a x}
        Open