MAYBE
Time: 0.001174
TRS:
 {.(.(x, y), z) -> .(x, .(y, z))}
 DP:
  DP:
   {.#(.(x, y), z) -> .#(x, .(y, z)),
    .#(.(x, y), z) -> .#(y, z)}
  TRS:
  {.(.(x, y), z) -> .(x, .(y, z))}
  EDG:
   {(.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(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) -> .#(x, .(y, z)), .#(.(x, y), z) -> .#(y, z))}
   EDG:
    {(.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(y, z))
     (.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(x, .(y, z)))}
    EDG:
     {(.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(y, z))
      (.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(x, .(y, z)))}
     STATUS:
      arrows: 0.500000
      SCCS (1):
       Scc:
        {.#(.(x, y), z) -> .#(y, z)}
       
       SCC (1):
        Strict:
         {.#(.(x, y), z) -> .#(y, z)}
        Weak:
        {.(.(x, y), z) -> .(x, .(y, z))}
        Open