I already tried most of the servers you suggested, but my feeling is that their reliability is quite low. In facts, I noticed that they failed to correctly predict the the solubility of some proteins we indeed express in our lab. So I was wondering if you or someone else has "first hand" experience (i.e. tried by him/herself a particular server) and is willing to share his/her opinion.
I was searching for a good server for the same case you mentioned and came across this conversation. As it is for 2 years back, I would like to ask if you were able to find some reliable server that can introduce?