User blog comment:LittlePeng9/ITTM galore/@comment-5529393-20140318195406

Well, I have checked the 1 state, 2 symbol machines and verified that halt in longer than w^2 steps. There are some interesting machines that halt in w*3 steps, however; can you find them?