YES
Time: 0.004541
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)}
  UR:
   {}
   EDG:
    {(g# .(x, nil()) -> g# x, g# .(x, .(y, z)) -> g# .(.(x, y), z))
     (g# .(x, nil()) -> g# x, g# .(x, nil()) -> g# x)
     (g# .(x, .(y, z)) -> g# .(.(x, y), z), g# .(x, .(y, z)) -> g# .(.(x, y), z))
     (g# .(x, .(y, z)) -> g# .(.(x, y), z), g# .(x, nil()) -> g# x)
     (f# .(.(x, y), z) -> f# .(x, .(y, z)), f# .(nil(), y) -> f# y)
     (f# .(.(x, y), z) -> f# .(x, .(y, z)), f# .(.(x, y), z) -> f# .(x, .(y, z)))
     (f# .(nil(), y) -> f# y, f# .(nil(), y) -> f# y)
     (f# .(nil(), y) -> f# y, f# .(.(x, y), z) -> f# .(x, .(y, z)))}
    EDG:
     {(g# .(x, nil()) -> g# x, g# .(x, .(y, z)) -> g# .(.(x, y), z))
      (g# .(x, nil()) -> g# x, g# .(x, nil()) -> g# x)
      (g# .(x, .(y, z)) -> g# .(.(x, y), z), g# .(x, .(y, z)) -> g# .(.(x, y), z))
      (g# .(x, .(y, z)) -> g# .(.(x, y), z), g# .(x, nil()) -> g# x)
      (f# .(.(x, y), z) -> f# .(x, .(y, z)), f# .(nil(), y) -> f# y)
      (f# .(.(x, y), z) -> f# .(x, .(y, z)), f# .(.(x, y), z) -> f# .(x, .(y, z)))
      (f# .(nil(), y) -> f# y, f# .(nil(), y) -> f# y)
      (f# .(nil(), y) -> f# y, f# .(.(x, y), z) -> f# .(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)))}
      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):