MAYBE
Time: 0.015856
TRS:
 {      .(x, 1()) -> x,
        .(x, i x) -> 1(),
  .(y, .(i y, z)) -> z,
    .(.(x, y), z) -> .(x, .(y, z)),
        .(1(), x) -> x,
        .(i x, x) -> 1(),
  .(i y, .(y, z)) -> z,
        i .(x, y) -> .(i y, i x),
            i 1() -> 1(),
            i i x -> x}
 DP:
  DP:
   {.#(.(x, y), z) -> .#(x, .(y, z)),
    .#(.(x, y), z) -> .#(y, z),
        i# .(x, y) -> .#(i y, i x),
        i# .(x, y) -> i# x,
        i# .(x, y) -> i# y}
  TRS:
  {      .(x, 1()) -> x,
         .(x, i x) -> 1(),
   .(y, .(i y, z)) -> z,
     .(.(x, y), z) -> .(x, .(y, z)),
         .(1(), x) -> x,
         .(i x, x) -> 1(),
   .(i y, .(y, z)) -> z,
         i .(x, y) -> .(i y, i x),
             i 1() -> 1(),
             i i x -> x}
  EDG:
   {(i# .(x, y) -> .#(i y, i x), .#(.(x, y), z) -> .#(y, z))
    (i# .(x, y) -> .#(i y, i x), .#(.(x, y), z) -> .#(x, .(y, z)))
    (.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(x, .(y, z)))
    (.#(.(x, y), z) -> .#(y, z), .#(.(x, y), z) -> .#(y, z))}
   STATUS:
    arrows: 0.840000
    SCCS (1):
     Scc:
      {.#(.(x, y), z) -> .#(y, z)}
     
     
     
     
     SCC (1):
      Strict:
       {.#(.(x, y), z) -> .#(y, z)}
      Weak:
      {      .(x, 1()) -> x,
             .(x, i x) -> 1(),
       .(y, .(i y, z)) -> z,
         .(.(x, y), z) -> .(x, .(y, z)),
             .(1(), x) -> x,
             .(i x, x) -> 1(),
       .(i y, .(y, z)) -> z,
             i .(x, y) -> .(i y, i x),
                 i 1() -> 1(),
                 i i x -> x}
      Open