The XV95 is a great machine but the XB300 is not. I'd boot that option in favor of the XR13 which likely will get 14 SEER with the 95.
The Infinity 96 is equally nice and can use the Infinity control. The 24ABC6 is a basic 16 SEER unit so a long way from the XB300.
How did they determine A/C size? Is this desert climate? 3 tons for 1600 sq ft is a lot. Be sure they are using R8 flex ducts. That helps keep attic heat out of the ducts.