I think the setup in this building is about as close to ideal as you can get. I have zero channel overlap on both 2.4 GHz and 5 GHz, the 5 GHz is running at a 80 MHz channel width, and there's 25 dB of signal attenuation between the floors. I don't think it can get much better than that.
I've been fine-tuning the setup in this building after I discovered that not all 5 GHz channels are created equal: To get a 80 MHz channel width, you have to pick the right channels.