MAYBE
Time: 0.036923
TRS:
 {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
 DP:
  DP:
   {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))),
    f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))}
  TRS:
  {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
  UR:
   {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
   EDG:
    {(f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), x)))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x))))))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), x))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(a(), f(b(), x))))))
     (f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))), f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
    STATUS:
     arrows: 0.666667
     SCCS (1):
      Scc:
       {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
        f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))}
      
      SCC (3):
       Strict:
        {f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(a(), f(b(), x)))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), x))),
         f#(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f#(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))}
       Weak:
       {f(a(), f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), x))))))) -> f(a(), f(b(), f(a(), f(a(), f(b(), f(a(), f(a(), f(a(), f(b(), x)))))))))}
       Open