YES
Time: 0.004582
TRS:
 {        f nil() -> nil(),
    f .(nil(), y) -> .(nil(), f y),
  f .(.(x, y), z) -> f .(x, .(y, z)),
          g nil() -> nil(),
    g .(x, nil()) -> .(g x, nil()),
  g .(x, .(y, z)) -> g .(.(x, y), z)}
 DP:
  DP:
   {  f# .(nil(), y) -> f# y,
    f# .(.(x, y), z) -> f# .(x, .(y, z)),
      g# .(x, nil()) -> g# x,
    g# .(x, .(y, z)) -> g# .(.(x, y), z)}
  TRS:
  {        f nil() -> nil(),
     f .(nil(), y) -> .(nil(), f y),
   f .(.(x, y), z) -> f .(x, .(y, z)),
           g nil() -> nil(),
     g .(x, nil()) -> .(g x, nil()),
   g .(x, .(y, z)) -> g .(.(x, y), z)}
  EDG:
   {(g# .(x, nil()) -> g# x, g# .(x, .(y, z)) -> g# .(.(x, y), z))
    (f# .(nil(), y) -> f# y, f# .(.(x, y), z) -> f# .(x, .(y, z)))}
   STATUS:
    arrows: 0.875000
    SCCS (0):