While this is a good list, you fail to explain what any of those do. So now, as the asker of this question, I would have to go through your list and see which one works best for the type of modeling I want to do.

Here is a list of the programs we use in our lab:

Sculptris: This program is good for someone who likes to model with clay or other similar mediums. While we have yet to get a successful print from this, it may be because we only used one very complicated model.

Tinkercad
: My boss swears by this program, and as it was recently bought by Autodesk good things are to come in the near future! This is a good program for instruction to a class, or for someone who likes to be able to just slap a few shapes together and call it a day. While a bit of the things that come out of Tinkercad are simple in design, there are people who I have come across who have mastered this art and can make you almost anything you want. It really is something you learn over time.

123D-Design
: This is another program by Autodesk, and sometimes it seems like they were trying to imitate Tinkercad before they bought it. It has most of the same features, but it is for a bit more experienced modelers. If you're going to use 123D-Design, use the installed version and not the browser one.

Maya
: While this program is extremely detailed, and can be used to make amazing things, I have never heard of it being used to make prints. One of my friends tried taking classes on it and he had to drop out because of how complicated it was. If all you want to do is make prints then Maya is not your choice!

Google Sketch-Up
: I used this a year or so ago, before Makerbot came out with all the crap it has out now. It was bad, the controls were annoying, it was really hard to make a detailed model, and I haven't heard of anyone using it to print things either. If you wanted to make maps for video games, Sketch-Up would be your choice. (Even though I don't think that is possible)


Hopefully I helped you narrow it down a bit. If it helps more, all I really do is model for prints and I use Tinkercad. I've made parts for some FRC robots and I've made scale models of my house on it as well. If you're looking for something simple, easy to use, and reliable for printing then Tinkercad is what you want.