MAYBE
Time: 0.003332
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()}
  UR:
   {   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#(0(), s y) -> int#(s 0(), s y), int#(0(), s y) -> int#(s 0(), s 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)}
    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)}
     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))}
      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))}
       STATUS:
        arrows: 0.625000
        SCCS (1):
         Scc:
          {int#(0(), s y) -> int#(s 0(), s y),
           int#(s x, s y) -> int#(x, y)}
         
         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()}
          Open