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