I am not sure about KY, but in CA, the winter formula gas is less efficient by about 5%.
I constantly adjust the trip computer on my ScanGuage-II (need to adjust % offset on every fillup).
In winters, I need to dial it down. In summers, I need to dial it up. It has been three years.
Very scientific, not just "how I feel".