Just recorded this on Ubuntu 16.04 and it appears that it plays about 3.6x times faster than real time. Command used:
recordscreen.py -n --fps=60 -s 300x1200 mcspeed.webm
And here is the calculation based on video time from VLC and recorded stopwatch - https://www.desmos.com/calculator/q6qd9b6xq5 - doesn't look like it is a VLC bug.
