Input TRS:
    1: p(p(b(a(x0)),x1),p(x2,x3)) -> p(p(b(x2),a(a(b(x1)))),p(x3,x0))
Number of Rules: 1
Direct QTKBOS ... failed.