I`m betting that a number of different shots were made with different programs depending on which software house did it.

A vs P is a good example. 7 different company's did different effects shots for that movie. 2 in the uk, 1 in france and the rest on the west coast of usa.

MPC and framestore where the two who worked on it over here (if my memory serves me right). MPC use a very custom version of Maya (alot of there own plugging) while Framstore used Softimage. So thats two different software for that movie right there, not knowing what software the others used).

I know this because in Swansea where is an animation show (a well scaled down Siggraph) and we haad speakers from both there at the show talking about the same movie.

I also know that batman begins had aleast 5 different effect houses.

So I`m think that there is a good chance that maya was used but I dout that it was the only one. And with a budget of over 200 mil I`m betting that there was a few house work on that