I haven't tried any of the proposed PSUs, although I have a different Instek PSU, and it is quite good. I miss sense terminals though, and, AFAIK, none of your options have them. Don't know if that is relevant for you, as high current and precision voltage at once is not too common of a requirement in a home lab.
Don't quote me on this, but I think there were some Rigol PSUs in which the channels were not isolated with each other. Check that out, because series/parallel outputs can be really useful.
If you are willing to pay Keysight's price, I wouldn't discount having a look at R&S and TTI, they make really good PSUs too.
EDIT: If those are your options, I would get the GWInstek without doubt. For around 1k I would start having a look at R&S and TTI.