The gif should play in most browsers, the png is better, but you need
a modern browser.  You probably want to have a lot of RAM otherwise
your browser may crash the system (4GB for the gif, 8 GB for the PNG).

The mov and avi may play with lower requirements but need special
codecs.  The mov has intrinsically the better color quality (lossless
RGB24), the avi has some color bleeding due to video color conversion
(YV12), so does the mpg (using modern H.264).