[mandelbulb3d] animation: antialiasing or virtualdub filter 2:1 ?

[scavenger]

hello

based on the experience of those who will answer, which is the best video quality result on generating images for a 720p video (720p is an example) among :

1) generate 720p images + antialiasing 2 => 720p images => then virtualdub + no filter => 720p video

2) generate 1440p images no antialiasing => 1440p images => then virtualdub + filter (resize or 2:1) => 720p video

about virtualdub it's an example, i'm wrking with ffmpeg x264 too, but what i read among the web was that :
it's better to create a video from twice scalled images + lanczo3 resize filter do 2:1, antialiasing is smooth and sharp

but before having to test all the possibilities, i would like to have advices from experienced people

thanks !