The Doyle score was recorded. I cannot say in full (as I don't know that) but at least around forty minutes; musicians included (this is all I have found so far in my years of searching) Robin Olsen on violin and Phil Yao on French horn. I know, I got it.
The Doyle score appears to be a complete score. It covers everything in the movie that I remember, through the end. That said, I haven't seen the film since it came out. It totals around 44 mins.
The Williams score runs 55 minutes on the CD (excluding the pop song at the end). However, 6 minutes of that is an end titles cue. The Doyle score has no end titles cue. Also, I don't remember that much Wiliams music in the film, I think there may be some concert arrangements on the album.