I'd probably go with the Audix set out of those. Having said that, they're all live based "sets", so how that translates into a recorded metal sound (which I'm assuming you're going for) could be up for questioning.
At the end of the day, they're like the equivalent of the Shure PG series: Based on the "standard"/ high quality mics, but are cheaper for a reason. You'd probably like to ask yourself;
1. how long do you intend on using/ keeping the mics? (So, is it worth spending more to keep them longer, or even less so you can upgrade sooner)
2. will you be taking them on the road too? (In which case you'd want them to last and sound good in all situations)
I've used some PG/ cheaper mics (with cord and cordless) and can say that they do differ in their frequency, proximity and transient response.
One solution might be if you know of anyone who is able to lend you mics, especially for overheads. That way, you can spend another$400-450 on some more 57s for toms and however much more on a kick mic (I don't like the D112 or Beta 52's personally, so would either go Sennheiser, i have the e901 boundary mic, or the D6 like others have mentioned).
This way, all the mics are ones that you will keep for ages.
Maybe your drummer could invest some $$$ into it too, since he could use the mics live?