YES
Time: 0.001424
TRS:
 {        not false() -> true(),
           not true() -> false(),
      evenodd(x, 0()) -> not evenodd(x, s 0()),
  evenodd(s x, s 0()) -> evenodd(x, 0()),
  evenodd(0(), s 0()) -> false()}
 DP:
  DP:
   {    evenodd#(x, 0()) -> not# evenodd(x, s 0()),
        evenodd#(x, 0()) -> evenodd#(x, s 0()),
    evenodd#(s x, s 0()) -> evenodd#(x, 0())}
  TRS:
  {        not false() -> true(),
            not true() -> false(),
       evenodd(x, 0()) -> not evenodd(x, s 0()),
   evenodd(s x, s 0()) -> evenodd(x, 0()),
   evenodd(0(), s 0()) -> false()}
  EDG:
   {(evenodd#(s x, s 0()) -> evenodd#(x, 0()), evenodd#(x, 0()) -> evenodd#(x, s 0()))
    (evenodd#(s x, s 0()) -> evenodd#(x, 0()), evenodd#(x, 0()) -> not# evenodd(x, s 0()))
    (evenodd#(x, 0()) -> evenodd#(x, s 0()), evenodd#(s x, s 0()) -> evenodd#(x, 0()))}
   SCCS (1):
    Scc:
     {    evenodd#(x, 0()) -> evenodd#(x, s 0()),
      evenodd#(s x, s 0()) -> evenodd#(x, 0())}
    SCC (2):
     Strict:
      {    evenodd#(x, 0()) -> evenodd#(x, s 0()),
       evenodd#(s x, s 0()) -> evenodd#(x, 0())}
     Weak:
     {        not false() -> true(),
               not true() -> false(),
          evenodd(x, 0()) -> not evenodd(x, s 0()),
      evenodd(s x, s 0()) -> evenodd(x, 0()),
      evenodd(0(), s 0()) -> false()}
     SPSC:
      Simple Projection:
       pi(evenodd#) = 0
      Strict:
       {evenodd#(x, 0()) -> evenodd#(x, s 0())}
      EDG:
       {}
       SCCS (0):
        
        Qed