MAYBE
Time: 0.001200
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)))}
    STATUS:
     arrows: 0.500000
     SCCS (2):
      Scc:
       {  g# .(x, nil()) -> g# x,
        g# .(x, .(y, z)) -> g# .(.(x, y), z)}
      Scc:
       {  f# .(nil(), y) -> f# y,
        f# .(.(x, y), z) -> f# .(x, .(y, z))}
      
      SCC (2):
       Strict:
        {  g# .(x, nil()) -> g# x,
         g# .(x, .(y, z)) -> g# .(.(x, y), z)}
       Weak:
       {        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)}
       Open
      SCC (2):
       Strict:
        {  f# .(nil(), y) -> f# y,
         f# .(.(x, y), z) -> f# .(x, .(y, z))}
       Weak:
       {        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)}
       Open