MAYBE
Time: 0.001105
TRS:
 {cond(true(), x) -> cond(odd x, p x),
          odd 0() -> false(),
        odd s 0() -> true(),
        odd s s x -> odd x,
            p 0() -> 0(),
            p s x -> x}
 DP:
  DP:
   {cond#(true(), x) -> cond#(odd x, p x),
    cond#(true(), x) -> odd# x,
    cond#(true(), x) -> p# x,
          odd# s s x -> odd# x}
  TRS:
  {cond(true(), x) -> cond(odd x, p x),
           odd 0() -> false(),
         odd s 0() -> true(),
         odd s s x -> odd x,
             p 0() -> 0(),
             p s x -> x}
  UR:
   {  odd 0() -> false(),
    odd s 0() -> true(),
    odd s s x -> odd x,
        p 0() -> 0(),
        p s x -> x,
      a(y, z) -> y,
      a(y, z) -> z}
   EDG:
    {(cond#(true(), x) -> cond#(odd x, p x), cond#(true(), x) -> p# x)
     (cond#(true(), x) -> cond#(odd x, p x), cond#(true(), x) -> odd# x)
     (cond#(true(), x) -> cond#(odd x, p x), cond#(true(), x) -> cond#(odd x, p x))
     (odd# s s x -> odd# x, odd# s s x -> odd# x)
     (cond#(true(), x) -> odd# x, odd# s s x -> odd# x)}
    STATUS:
     arrows: 0.687500
     SCCS (2):
      Scc:
       {cond#(true(), x) -> cond#(odd x, p x)}
      Scc:
       {odd# s s x -> odd# x}
      
      SCC (1):
       Strict:
        {cond#(true(), x) -> cond#(odd x, p x)}
       Weak:
       {cond(true(), x) -> cond(odd x, p x),
                odd 0() -> false(),
              odd s 0() -> true(),
              odd s s x -> odd x,
                  p 0() -> 0(),
                  p s x -> x}
       Open
      
      
      SCC (1):
       Strict:
        {odd# s s x -> odd# x}
       Weak:
       {cond(true(), x) -> cond(odd x, p x),
                odd 0() -> false(),
              odd s 0() -> true(),
              odd s s x -> odd x,
                  p 0() -> 0(),
                  p s x -> x}
       Open