MAYBE
Time: 1.002350
TRS:
 {ap(ap(ff(), x), x) -> ap(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil()))}
 DP:
  DP:
   {ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)),
    ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())),
    ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()),
    ap#(ap(ff(), x), x) -> ap#(cons(), x)}
  TRS:
  {ap(ap(ff(), x), x) -> ap(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil()))}
  UR:
   {ap(ap(ff(), x), x) -> ap(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())),
               a(y, z) -> y,
               a(y, z) -> z}
   EDG:
    {(ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(cons(), x))
     (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
     (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
     (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
     (ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()), ap#(ap(ff(), x), x) -> ap#(cons(), x))
     (ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
     (ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
     (ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
     (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
     (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
     (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
     (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(cons(), x))
     (ap#(ap(ff(), x), x) -> ap#(cons(), x), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
     (ap#(ap(ff(), x), x) -> ap#(cons(), x), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
     (ap#(ap(ff(), x), x) -> ap#(cons(), x), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
     (ap#(ap(ff(), x), x) -> ap#(cons(), x), ap#(ap(ff(), x), x) -> ap#(cons(), x))}
    EDG:
     {(ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(cons(), x))
      (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
      (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
      (ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
      (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)))
      (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())))
      (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(ap(cons(), x), nil()))
      (ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil())), ap#(ap(ff(), x), x) -> ap#(cons(), x))}
     STATUS:
      arrows: 0.500000
      SCCS (1):
       Scc:
        {ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)),
         ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil()))}
       
       SCC (2):
        Strict:
         {ap#(ap(ff(), x), x) -> ap#(x, ap(ff(), x)),
          ap#(ap(ff(), x), x) -> ap#(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil()))}
        Weak:
        {ap(ap(ff(), x), x) -> ap(ap(x, ap(ff(), x)), ap(ap(cons(), x), nil()))}
        Open