YES
Time: 0.002212
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()))}
   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()))}
    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()))}
     STATUS:
      arrows: 0.777778
      SCCS (0):