The videos are all of a Raspberry Pi Model B - i.e. it is the 1st Generation, single core 700MHz device.
For comparison, The newly launched Pi Zero is a single-core 1GHz device, so is substantially faster.
The Raspberry Pi 2 is a 900MHz quad-core device.
The Orange Pi (a Chinese Pi-alike) has options up to 1.6GHz.
Intel Atom CPUs start from ~$120 - that is for the CPU (or the System on Chip?) alone.
Be warned - the videos have been compressed as much as possible and are downloaded, not streamed.