You'll want to choose manual settings and then fill in the forms with
information from that list of proxies you mentioned earlier.

I think auto-configuration is for pointing your browser to some URL with a
PAC script that will basically fill out the above forms for you.