MAYBE
Time: 0.000489
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)}
  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()))}
   STATUS:
    arrows: 0.000000
    SCCS (1):
     Scc:
      {+#(1(), x) -> +#(+(0(), 1()), x),
       +#(1(), x) -> +#(0(), 1())}
     
     SCC (2):
      Strict:
       {+#(1(), x) -> +#(+(0(), 1()), x),
        +#(1(), x) -> +#(0(), 1())}
      Weak:
      {+(0(), x) -> x,
       +(1(), x) -> +(+(0(), 1()), x)}
      Open