MAYBE
Time: 0.072627
TRS:
 {         intlist nil() -> nil(),
      intlist cons(x, y) -> cons(s x, intlist y),
  intlist cons(x, nil()) -> cons(s x, nil()),
               int(x, x) -> cons(x, nil()),
           int(s x, s y) -> intlist int(x, y),
           int(s x, 0()) -> nil(),
           int(0(), s y) -> cons(0(), int(s 0(), s y))}
 DP:
  DP:
   {intlist# cons(x, y) -> intlist# y,
         int#(s x, s y) -> intlist# int(x, y),
         int#(s x, s y) -> int#(x, y),
         int#(0(), s y) -> int#(s 0(), s y)}
  TRS:
  {         intlist nil() -> nil(),
       intlist cons(x, y) -> cons(s x, intlist y),
   intlist cons(x, nil()) -> cons(s x, nil()),
                int(x, x) -> cons(x, nil()),
            int(s x, s y) -> intlist int(x, y),
            int(s x, 0()) -> nil(),
            int(0(), s y) -> cons(0(), int(s 0(), s y))}
  UR:
   {         intlist nil() -> nil(),
        intlist cons(x, y) -> cons(s x, intlist y),
    intlist cons(x, nil()) -> cons(s x, nil()),
                 int(x, x) -> cons(x, nil()),
             int(s x, s y) -> intlist int(x, y),
             int(s x, 0()) -> nil(),
             int(0(), s y) -> cons(0(), int(s 0(), s y))}
   EDG:
    {(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#(s x, s y) -> intlist# int(x, y))
     (int#(s x, s y) -> intlist# int(x, y), intlist# cons(x, y) -> intlist# y)
     (int#(s x, s y) -> int#(x, y), int#(s x, s y) -> intlist# 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#(x, y), int#(0(), s y) -> int#(s 0(), s y))
     (intlist# cons(x, y) -> intlist# y, intlist# cons(x, y) -> intlist# y)}
    STATUS:
     arrows: 0.562500
     SCCS (2):
      Scc:
       {int#(s x, s y) -> int#(x, y),
        int#(0(), s y) -> int#(s 0(), s y)}
      Scc:
       {intlist# cons(x, y) -> intlist# y}
      
      SCC (2):
       Strict:
        {int#(s x, s y) -> int#(x, y),
         int#(0(), s y) -> int#(s 0(), s y)}
       Weak:
       {         intlist nil() -> nil(),
            intlist cons(x, y) -> cons(s x, intlist y),
        intlist cons(x, nil()) -> cons(s x, nil()),
                     int(x, x) -> cons(x, nil()),
                 int(s x, s y) -> intlist int(x, y),
                 int(s x, 0()) -> nil(),
                 int(0(), s y) -> cons(0(), int(s 0(), s y))}
       Open
      
      SCC (1):
       Strict:
        {intlist# cons(x, y) -> intlist# y}
       Weak:
       {         intlist nil() -> nil(),
            intlist cons(x, y) -> cons(s x, intlist y),
        intlist cons(x, nil()) -> cons(s x, nil()),
                     int(x, x) -> cons(x, nil()),
                 int(s x, s y) -> intlist int(x, y),
                 int(s x, 0()) -> nil(),
                 int(0(), s y) -> cons(0(), int(s 0(), s y))}
       Open