3ivx is great for small files with excellent quality. Drawbacks are that it demands quite a bit of processor power to play back AND, of course, compression is unbelievably slow (30x, or so). Rumor has it that a new release is out within a few weeks that is a lot faster.
In any case if you stick with 3ivx you'll only see improvments to the codec as time goes by (and it's pretty good as it is).
Apparently the On2 VP3 codec costs $30 now so I guess that the free QT download doesn't allow export (you might want to make sure).
Anyway; On2, while not quite as good as 3ivx in the quality/size ratio, does allow for more setting adjustments (such as datarate control), and is quite fast. This makes it a better option than 3ivx in some cases, just don't expect the same quality as 3ivx at any given size.
I'm sort of torn between the two, but I think I prefer 3ivx (more so if/when it gets a lot faster).
For more opinions in this matter go to the forum at
http://www.geocities.com/lkfr23/ripdifferent/
Can't comment on Sorenson, though. Sorry.