MAYBE
Time: 0.541962
TRS:
 {f cons(f cons(nil(), y), z) -> copy(n(), y, z),
             f cons(nil(), y) -> y,
              copy(0(), y, z) -> f z,
              copy(s x, y, z) -> copy(x, y, cons(f y, z))}
 DP:
  DP:
   {f# cons(f cons(nil(), y), z) -> copy#(n(), y, z),
                copy#(0(), y, z) -> f# z,
                copy#(s x, y, z) -> f# y,
                copy#(s x, y, z) -> copy#(x, y, cons(f y, z))}
  TRS:
  {f cons(f cons(nil(), y), z) -> copy(n(), y, z),
              f cons(nil(), y) -> y,
               copy(0(), y, z) -> f z,
               copy(s x, y, z) -> copy(x, y, cons(f y, z))}
  UR:
   {f cons(f cons(nil(), y), z) -> copy(n(), y, z),
               f cons(nil(), y) -> y,
                        a(w, v) -> w,
                        a(w, v) -> v}
   EDG:
    {(copy#(s x, y, z) -> f# y, f# cons(f cons(nil(), y), z) -> copy#(n(), y, z))
     (copy#(s x, y, z) -> copy#(x, y, cons(f y, z)), copy#(s x, y, z) -> copy#(x, y, cons(f y, z)))
     (copy#(s x, y, z) -> copy#(x, y, cons(f y, z)), copy#(s x, y, z) -> f# y)
     (copy#(s x, y, z) -> copy#(x, y, cons(f y, z)), copy#(0(), y, z) -> f# z)
     (copy#(0(), y, z) -> f# z, f# cons(f cons(nil(), y), z) -> copy#(n(), y, z))}
    STATUS:
     arrows: 0.687500
     SCCS (1):
      Scc:
       {copy#(s x, y, z) -> copy#(x, y, cons(f y, z))}
      
      SCC (1):
       Strict:
        {copy#(s x, y, z) -> copy#(x, y, cons(f y, z))}
       Weak:
       {f cons(f cons(nil(), y), z) -> copy(n(), y, z),
                   f cons(nil(), y) -> y,
                    copy(0(), y, z) -> f z,
                    copy(s x, y, z) -> copy(x, y, cons(f y, z))}
       Open