MAYBE

Problem:
 intlist(nil()) -> nil()
 int(s(x),0()) -> nil()
 int(x,x) -> cons(x,nil())
 intlist(cons(x,y)) -> cons(s(x),intlist(y))
 int(s(x),s(y)) -> intlist(int(x,y))
 int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
 intlist(cons(x,nil())) -> cons(s(x),nil())

Proof:
 DP Processor:
  DPs:
   intlist#(cons(x,y)) -> intlist#(y)
   int#(s(x),s(y)) -> int#(x,y)
   int#(s(x),s(y)) -> intlist#(int(x,y))
   int#(0(),s(y)) -> int#(s(0()),s(y))
  TRS:
   intlist(nil()) -> nil()
   int(s(x),0()) -> nil()
   int(x,x) -> cons(x,nil())
   intlist(cons(x,y)) -> cons(s(x),intlist(y))
   int(s(x),s(y)) -> intlist(int(x,y))
   int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
   intlist(cons(x,nil())) -> cons(s(x),nil())
  TDG Processor:
   DPs:
    intlist#(cons(x,y)) -> intlist#(y)
    int#(s(x),s(y)) -> int#(x,y)
    int#(s(x),s(y)) -> intlist#(int(x,y))
    int#(0(),s(y)) -> int#(s(0()),s(y))
   TRS:
    intlist(nil()) -> nil()
    int(s(x),0()) -> nil()
    int(x,x) -> cons(x,nil())
    intlist(cons(x,y)) -> cons(s(x),intlist(y))
    int(s(x),s(y)) -> intlist(int(x,y))
    int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
    intlist(cons(x,nil())) -> cons(s(x),nil())
   graph:
    int#(0(),s(y)) -> int#(s(0()),s(y)) ->
    int#(0(),s(y)) -> int#(s(0()),s(y))
    int#(0(),s(y)) -> int#(s(0()),s(y)) ->
    int#(s(x),s(y)) -> intlist#(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#(0(),s(y)) -> int#(s(0()),s(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)) -> intlist#(int(x,y)) ->
    intlist#(cons(x,y)) -> intlist#(y)
    intlist#(cons(x,y)) -> intlist#(y) -> intlist#(cons(x,y)) -> intlist#(y)
   EDG Processor:
    DPs:
     intlist#(cons(x,y)) -> intlist#(y)
     int#(s(x),s(y)) -> int#(x,y)
     int#(s(x),s(y)) -> intlist#(int(x,y))
     int#(0(),s(y)) -> int#(s(0()),s(y))
    TRS:
     intlist(nil()) -> nil()
     int(s(x),0()) -> nil()
     int(x,x) -> cons(x,nil())
     intlist(cons(x,y)) -> cons(s(x),intlist(y))
     int(s(x),s(y)) -> intlist(int(x,y))
     int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
     intlist(cons(x,nil())) -> cons(s(x),nil())
    graph:
     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)) -> int#(x,y) -> int#(s(x),s(y)) -> int#(x,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#(0(),s(y)) -> int#(s(0()),s(y))
     int#(s(x),s(y)) -> intlist#(int(x,y)) ->
     intlist#(cons(x,y)) -> intlist#(y)
     intlist#(cons(x,y)) -> intlist#(y) -> intlist#(cons(x,y)) -> intlist#(y)
    CDG Processor:
     DPs:
      intlist#(cons(x,y)) -> intlist#(y)
      int#(s(x),s(y)) -> int#(x,y)
      int#(s(x),s(y)) -> intlist#(int(x,y))
      int#(0(),s(y)) -> int#(s(0()),s(y))
     TRS:
      intlist(nil()) -> nil()
      int(s(x),0()) -> nil()
      int(x,x) -> cons(x,nil())
      intlist(cons(x,y)) -> cons(s(x),intlist(y))
      int(s(x),s(y)) -> intlist(int(x,y))
      int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
      intlist(cons(x,nil())) -> cons(s(x),nil())
     graph:
      int#(0(),s(y)) -> int#(s(0()),s(y)) ->
      int#(s(x),s(y)) -> intlist#(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#(0(),s(y)) -> int#(s(0()),s(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)) -> intlist#(int(x,y)) -> intlist#(cons(x,y)) -> intlist#(y)
     SCC Processor:
      #sccs: 1
      #rules: 2
      #arcs: 6/16
      DPs:
       int#(0(),s(y)) -> int#(s(0()),s(y))
       int#(s(x),s(y)) -> int#(x,y)
      TRS:
       intlist(nil()) -> nil()
       int(s(x),0()) -> nil()
       int(x,x) -> cons(x,nil())
       intlist(cons(x,y)) -> cons(s(x),intlist(y))
       int(s(x),s(y)) -> intlist(int(x,y))
       int(0(),s(y)) -> cons(0(),int(s(0()),s(y)))
       intlist(cons(x,nil())) -> cons(s(x),nil())
      Open