MAYBE
Time: 0.000603
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()))}
   STATUS:
    arrows: 0.666667
    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()}
      Open