spiral, fork, diving arm, (I think)
In my experience mix times depend on the flour and hydration. Sometimes you even need a little more or less depending on the batch of flour or other unmeasurable variables. From what I have seen visiting the best pizzerias in the world the best way to make top shelf pizza is to learn when to stop the mixer by how the dough looks and feels.
