ffmpeg -i input.mkv -filter:v "setpts=PTS/2" output.mkv