I use Adobe Premiere Elements 13, it's expensive, but it gives you a ton of options when compressing video. For me, a 13 min video may only take about 10 mins to render. I used to use Magix Movie Edit Pro for everything, but once I switched to Premiere, I realised it was a lot easier to edit...