I've owned all of the above and out of the three I would pick the Audix for recording and the D112 for live. The ATM25 packs a nice tight punch.
Really there's not a dog in the bunch, it just depends on the sound you're looking for.
To add to the confusion I ultimately ended up with an EV kick mic.