You hit the nail on the head here. While it's possible that the video they posted is 6fps (which is close to what those mencoder flags will achieve), it's more likely that they simply saved the first video with no compression and saved the second one as a regular video file with compression.