IMR3031 is actually a fantastic and underappreciated .223 powder. Only problem is the grains are very long, so it doesn't meter so good in a progressive. It works, just a bit of a crunch&munch experience.
As stated, 4895 is great, but similar problem of large grain size. 4064 is actually not bad either, but it's one of the worst progressive feeding powders you can run in .223. IMR4166 is a pretty decent .223 powder, though again the grains are about the size of 4895.
For good progressive .223 powder, you're looking at either ball powders, or finer extruded powders the likes of 8208 and LT32. LT32 is the finest extruded powder I've ever seen, about the size of some ball powders even. It also has both the Copper control and T-insensativy properties, and is a match powder - I love it. It also happens to be on the fast end, and really shines with 55 gr and lighter, and also is about one of the most expensive powders out there as well. So it's never really taken off. But in todays world where everything is overpriced and unobtainable, the price differential isn't that notable anymore; and you can run great 55 gr ammo with it, and should be able to run solid 62 gr ammo with it.