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