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