MAYBE
Time: 0.012118
TRS:
 {   ++(x, nil()) -> x,
  ++(++(x, y), z) -> ++(x, ++(y, z)),
     ++(nil(), y) -> y,
   ++(.(x, y), z) -> .(x, ++(y, z))}
 DP:
  DP:
   {++#(++(x, y), z) -> ++#(y, z),
    ++#(++(x, y), z) -> ++#(x, ++(y, z)),
     ++#(.(x, y), z) -> ++#(y, z)}
  TRS:
  {   ++(x, nil()) -> x,
   ++(++(x, y), z) -> ++(x, ++(y, z)),
      ++(nil(), y) -> y,
    ++(.(x, y), z) -> .(x, ++(y, z))}
  UR:
   {   ++(x, nil()) -> x,
    ++(++(x, y), z) -> ++(x, ++(y, z)),
       ++(nil(), y) -> y,
     ++(.(x, y), z) -> .(x, ++(y, z))}
   EDG:
    {(++#(++(x, y), z) -> ++#(x, ++(y, z)), ++#(.(x, y), z) -> ++#(y, z))
     (++#(++(x, y), z) -> ++#(x, ++(y, z)), ++#(++(x, y), z) -> ++#(x, ++(y, z)))
     (++#(++(x, y), z) -> ++#(x, ++(y, z)), ++#(++(x, y), z) -> ++#(y, z))
     (++#(.(x, y), z) -> ++#(y, z), ++#(++(x, y), z) -> ++#(y, z))
     (++#(.(x, y), z) -> ++#(y, z), ++#(++(x, y), z) -> ++#(x, ++(y, z)))
     (++#(.(x, y), z) -> ++#(y, z), ++#(.(x, y), z) -> ++#(y, z))
     (++#(++(x, y), z) -> ++#(y, z), ++#(++(x, y), z) -> ++#(y, z))
     (++#(++(x, y), z) -> ++#(y, z), ++#(++(x, y), z) -> ++#(x, ++(y, z)))
     (++#(++(x, y), z) -> ++#(y, z), ++#(.(x, y), z) -> ++#(y, z))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {++#(++(x, y), z) -> ++#(y, z),
        ++#(++(x, y), z) -> ++#(x, ++(y, z)),
         ++#(.(x, y), z) -> ++#(y, z)}
      
      SCC (3):
       Strict:
        {++#(++(x, y), z) -> ++#(y, z),
         ++#(++(x, y), z) -> ++#(x, ++(y, z)),
          ++#(.(x, y), z) -> ++#(y, z)}
       Weak:
       {   ++(x, nil()) -> x,
        ++(++(x, y), z) -> ++(x, ++(y, z)),
           ++(nil(), y) -> y,
         ++(.(x, y), z) -> .(x, ++(y, z))}
       Open