YES
Time: 0.001016
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))}
  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))}
   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))}
     SPSC:
      Simple Projection:
       pi(copy#) = 0
      Strict:
       {}
      Qed