MAYBE
Time: 0.008078
TRS:
 {a b x -> b b a a x}
 DP:
  DP:
   {a# b x -> a# x,
    a# b x -> a# a x}
  TRS:
  {a b x -> b b a a x}
  UR:
   {a b x -> b b a a x}
   EDG:
    {(a# b x -> a# x, a# b x -> a# a x)
     (a# b x -> a# x, a# b x -> a# x)
     (a# b x -> a# a x, a# b x -> a# x)
     (a# b x -> a# a x, a# b x -> a# a x)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {a# b x -> a# x,
        a# b x -> a# a x}
      
      SCC (2):
       Strict:
        {a# b x -> a# x,
         a# b x -> a# a x}
       Weak:
       {a b x -> b b a a x}
       Fail