MAYBE
Time: 0.007735
TRS:
 {+(0(), x) -> x,
  +(1(), x) -> +(+(0(), 1()), x)}
 DP:
  DP:
   {+#(1(), x) -> +#(+(0(), 1()), x),
    +#(1(), x) -> +#(0(), 1())}
  TRS:
  {+(0(), x) -> x,
   +(1(), x) -> +(+(0(), 1()), x)}
  UR:
   {+(0(), x) -> x}
   EDG:
    {(+#(1(), x) -> +#(0(), 1()), +#(1(), x) -> +#(0(), 1()))
     (+#(1(), x) -> +#(0(), 1()), +#(1(), x) -> +#(+(0(), 1()), x))
     (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(+(0(), 1()), x))
     (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(0(), 1()))}
    EDG:
     {(+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(+(0(), 1()), x))
      (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(0(), 1()))}
     EDG:
      {(+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(+(0(), 1()), x))
       (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(0(), 1()))}
      EDG:
       {(+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(+(0(), 1()), x))
        (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(0(), 1()))}
       STATUS:
        arrows: 0.500000
        SCCS (1):
         Scc:
          {+#(1(), x) -> +#(+(0(), 1()), x)}
         
         SCC (1):
          Strict:
           {+#(1(), x) -> +#(+(0(), 1()), x)}
          Weak:
          {+(0(), x) -> x,
           +(1(), x) -> +(+(0(), 1()), x)}
          Fail