Don't buy Petzl ropes! I've had the pleasure of climbing on a few (from people rightfully being tricked into thinking normal Petzl quality is consistent with Petzl ropes), & I drew one observation: They suck.

If you're going to buy 3 different ropes then I don't know what to tell you, b/c I usually stick with one double & a do-it-all (or as close as I can find) type. I'm on my second Mammut Infinity, which has exceeded my expectations pretty substantially over the past few years. It's super resistant to wear for a 9.5, blah blah blah. I feel like I'd just be echoing what's already stated about the infinity from this review based on my experience with it.
www.outdoorgearlab.com/Climbing-Rope-Reviews/Mammut-Infinity

And for my double I use the Beal Ice line. Pretty one-purpose with it (ice & mixed), but so far I've been very pleased. I'd give other recommendations for doubles, but that's the first I've owned/used for an extended period (2 yrs).

I have used mammut for 30+ years. The flash 10.5 is workhorse and lasts forever. the galaxy 10mm is a great , lighter rope

And for the record I've used two sterling ion 9.5's, sterling htp static ropes, and I'm waiting to use a new pair of sterling fusion photon half/twin's