MAYBE
Time: 0.000630
TRS:
 {              merge(x, nil()) -> x,
                merge(nil(), y) -> y,
  merge(++(x, y), ++(u(), v())) -> ++(x, merge(y, ++(u(), v()))),
  merge(++(x, y), ++(u(), v())) -> ++(u(), merge(++(x, y), v()))}
 DP:
  DP:
   {merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())),
    merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v())}
  TRS:
  {              merge(x, nil()) -> x,
                 merge(nil(), y) -> y,
   merge(++(x, y), ++(u(), v())) -> ++(x, merge(y, ++(u(), v()))),
   merge(++(x, y), ++(u(), v())) -> ++(u(), merge(++(x, y), v()))}
  EDG:
   {(merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())))
    (merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()))}
   STATUS:
    arrows: 0.500000
    SCCS (1):
     Scc:
      {merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v()))}
     
     SCC (1):
      Strict:
       {merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v()))}
      Weak:
      {              merge(x, nil()) -> x,
                     merge(nil(), y) -> y,
       merge(++(x, y), ++(u(), v())) -> ++(x, merge(y, ++(u(), v()))),
       merge(++(x, y), ++(u(), v())) -> ++(u(), merge(++(x, y), v()))}
      Open