The one marked 9000 is actually iso 1800 (dsc_2171) That´s the one I pushed 2 stops with very good results.
I like the 11400. I pushed it 1/3 and touch the wb a little and I think it will work for me if needed. The high resolution helps a lot.
25600 not for me.
After seeing this I think I will comfortably shoot in the 1600-3200 range. It is the same thing I´m doing with the d500 and the d750 as of today but with that resolution, speed and autofocus, silent shutter, etc...