er, why would you want to convert 1080p to 720p? to play on older machines perhaps?
anyway, i prefer xilisoft video converter for ease of use.. i can configure audio and video quality and auto-calculate corresponding video bit rate, and hence customize the output file size..
it would have been nice to use CUDA with badaboom, but my computer crashes after installation.. i wonder what's wrong..