Question about sequence editor and video codecs

Hi there,

I was wondering what video formats the video sequence editor likes best. I’ve found that if I export a video into a sequence of png’s, the sequence editor retains the correct quality. However, I don’t have enough disk space to export tens of thousands of png’s.

Here are my results so far:

Straight .ogv from recordmydesktop:

So I used ffmpeg with the following command which works really well for sites like youtube etc:
ffmpeg -i ‘input_file.ogv’ -vcodec libx264 -vpre hq -crf 22 -threads 0 ‘output_file.mkv’

So I used mencoder to convert the .ogv to an .avi with this command:
mencoder -ovc lavc -oac mp3lame ‘input file.ogv’ -o ‘output file.avi’
Left is a render from Blender, right is a printscreen from the actual video file

In blender, the render resolution has been set to the same as the video size, and anti-aliasing is on etc. Currently i’m using Blender to edit and then have a python script to traverse the sequence strips and use ffmpeg to render out the relevant sections from the clips in the actual .avi, then stitch them all together. But editing has to be somewhat ‘linear’ for this method…

What would work best?