MAYBE
Time: 0.001217
TRS:
 {cond(true(), x) -> cond(odd x, p p 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 p p x),
    cond#(true(), x) -> odd# x,
    cond#(true(), x) -> p# x,
    cond#(true(), x) -> p# p x,
    cond#(true(), x) -> p# p p x,
          odd# s s x -> odd# x}
  TRS:
  {cond(true(), x) -> cond(odd x, p p p x),
           odd 0() -> false(),
         odd s 0() -> true(),
         odd s s x -> odd x,
             p 0() -> 0(),
             p s x -> x}
  EDG:
   {(cond#(true(), x) -> cond#(odd x, p p p x), cond#(true(), x) -> p# p p x)
    (cond#(true(), x) -> cond#(odd x, p p p x), cond#(true(), x) -> p# p x)
    (cond#(true(), x) -> cond#(odd x, p p p x), cond#(true(), x) -> p# x)
    (cond#(true(), x) -> cond#(odd x, p p p x), cond#(true(), x) -> odd# x)
    (cond#(true(), x) -> cond#(odd x, p p p x), cond#(true(), x) -> cond#(odd x, p p 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.805556
    SCCS (2):
     Scc:
      {cond#(true(), x) -> cond#(odd x, p p p x)}
     Scc:
      {odd# s s x -> odd# x}
     
     SCC (1):
      Strict:
       {cond#(true(), x) -> cond#(odd x, p p p x)}
      Weak:
      {cond(true(), x) -> cond(odd x, p p 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 p p x),
               odd 0() -> false(),
             odd s 0() -> true(),
             odd s s x -> odd x,
                 p 0() -> 0(),
                 p s x -> x}
      Open