MAYBE
Time: 0.000688
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#(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)}
   STATUS:
    arrows: 0.500000
    SCCS (2):
     Scc:
      {int#(0(), s y) -> int#(s 0(), s y),
       int#(s x, s y) -> int#(x, y)}
     Scc:
      {int_list# .(x, y) -> int_list# 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
     
     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()}
      Open