MAYBE
Time: 0.001198
TRS:
 {b b a x -> a b b x,
    a a x -> b b x}
 DP:
  DP:
   {b# b a x -> b# x,
    b# b a x -> b# b x,
    b# b a x -> a# b b x,
      a# a x -> b# x,
      a# a x -> b# b x}
  TRS:
  {b b a x -> a b b x,
     a a x -> b b x}
  EDG:
   {(b# b a x -> a# b b x, a# a x -> b# b x)
    (b# b a x -> a# b b x, a# a x -> b# x)
    (b# b a x -> b# x, b# b a x -> a# b b x)
    (b# b a x -> b# x, b# b a x -> b# b x)
    (b# b a x -> b# x, b# b a x -> b# x)
    (a# a x -> b# x, b# b a x -> b# x)
    (a# a x -> b# x, b# b a x -> b# b x)
    (a# a x -> b# x, b# b a x -> a# b b x)
    (a# a x -> b# b x, b# b a x -> b# x)
    (a# a x -> b# b x, b# b a x -> b# b x)
    (a# a x -> b# b x, b# b a x -> a# b b x)
    (b# b a x -> b# b x, b# b a x -> b# x)
    (b# b a x -> b# b x, b# b a x -> b# b x)
    (b# b a x -> b# b x, b# b a x -> a# b b x)}
   STATUS:
    arrows: 0.440000
    SCCS (1):
     Scc:
      {b# b a x -> b# x,
       b# b a x -> b# b x,
       b# b a x -> a# b b x,
         a# a x -> b# x,
         a# a x -> b# b x}
     
     SCC (5):
      Strict:
       {b# b a x -> b# x,
        b# b a x -> b# b x,
        b# b a x -> a# b b x,
          a# a x -> b# x,
          a# a x -> b# b x}
      Weak:
      {b b a x -> a b b x,
         a a x -> b b x}
      Open