MAYBE
Time: 0.001751
TRS:
 {p(a x0, p(a a a x1, x2)) -> p(a x2, p(a a b x0, x2))}
 DP:
  DP:
   {p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)),
    p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2)}
  TRS:
  {p(a x0, p(a a a x1, x2)) -> p(a x2, p(a a b x0, x2))}
  EDG:
   {(p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))
    (p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
    (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
    (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))}
   EDG:
    {(p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))
     (p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
     (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
     (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))}
    EDG:
     {(p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))
      (p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
      (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)))
      (p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2), p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2))}
     STATUS:
      arrows: 0.000000
      SCCS (1):
       Scc:
        {p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)),
         p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2)}
       
       SCC (2):
        Strict:
         {p#(a x0, p(a a a x1, x2)) -> p#(a x2, p(a a b x0, x2)),
          p#(a x0, p(a a a x1, x2)) -> p#(a a b x0, x2)}
        Weak:
        {p(a x0, p(a a a x1, x2)) -> p(a x2, p(a a b x0, x2))}
        Open