YES
Time: 0.001291
TRS:
 {   int(0(), 0()) -> .(0(), nil()),
     int(0(), s y) -> .(0(), int(s 0(), s y)),
     int(s x, 0()) -> nil(),
     int(s x, s y) -> int_list int(x, y),
  int_list .(x, y) -> .(s x, int_list y),
    int_list nil() -> nil()}
 DP:
  DP:
   {   int#(0(), s y) -> int#(s 0(), s y),
       int#(s x, s y) -> int#(x, y),
       int#(s x, s y) -> int_list# int(x, y),
    int_list# .(x, y) -> int_list# y}
  TRS:
  {   int(0(), 0()) -> .(0(), nil()),
      int(0(), s y) -> .(0(), int(s 0(), s y)),
      int(s x, 0()) -> nil(),
      int(s x, s y) -> int_list int(x, y),
   int_list .(x, y) -> .(s x, int_list y),
     int_list nil() -> nil()}
  EDG:
   {(int#(0(), s y) -> int#(s 0(), s y), int#(s x, s y) -> int_list# int(x, y))
    (int#(0(), s y) -> int#(s 0(), s y), int#(s x, s y) -> int#(x, y))
    (int#(s x, s y) -> int_list# int(x, y), int_list# .(x, y) -> int_list# y)
    (int#(s x, s y) -> int#(x, y), int#(0(), s y) -> int#(s 0(), s y))
    (int#(s x, s y) -> int#(x, y), int#(s x, s y) -> int#(x, y))
    (int#(s x, s y) -> int#(x, y), int#(s x, s y) -> int_list# int(x, y))
    (int_list# .(x, y) -> int_list# y, int_list# .(x, y) -> int_list# y)}
   SCCS (2):
    Scc:
     {int_list# .(x, y) -> int_list# y}
    Scc:
     {int#(0(), s y) -> int#(s 0(), s y),
      int#(s x, s y) -> int#(x, y)}
    SCC (1):
     Strict:
      {int_list# .(x, y) -> int_list# y}
     Weak:
     {   int(0(), 0()) -> .(0(), nil()),
         int(0(), s y) -> .(0(), int(s 0(), s y)),
         int(s x, 0()) -> nil(),
         int(s x, s y) -> int_list int(x, y),
      int_list .(x, y) -> .(s x, int_list y),
        int_list nil() -> nil()}
     SPSC:
      Simple Projection:
       pi(int_list#) = 0
      Strict:
       {}
      Qed
    SCC (2):
     Strict:
      {int#(0(), s y) -> int#(s 0(), s y),
       int#(s x, s y) -> int#(x, y)}
     Weak:
     {   int(0(), 0()) -> .(0(), nil()),
         int(0(), s y) -> .(0(), int(s 0(), s y)),
         int(s x, 0()) -> nil(),
         int(s x, s y) -> int_list int(x, y),
      int_list .(x, y) -> .(s x, int_list y),
        int_list nil() -> nil()}
     SPSC:
      Simple Projection:
       pi(int#) = 1
      Strict:
       {int#(0(), s y) -> int#(s 0(), s y)}
      EDG:
       {}
       SCCS (0):
        
        Qed