Well, judging from MediaInfo, the video codec is 1000 frames per second and
smc This is the Apple Graphics Codec, a proprietary codec that probably isn't supported in every player.
The SMC codec is identified in Quicktime files by the codec FOURCC
"smc " (note the space, ASCII 0x20, needed to complete the
four-character code). Ostensibly, the codec was named after its developer,
Sean M. Callahan.
The audio codec is QCELP, a proprietary codec by Qualcomm.
I'm afraid these are very specialized codecs, and therefore you can't expect every player to support them. While VLC claims to support SMC, you've obviously encountered a bug. Therefore, you could use these files and file a bug report with the VLC developer team.
In any case you can try using FFmpeg to re-encode the file to a more widely used video codec such as h.264 (
libx264 in FFmpeg) or MPEG-4 (
mpeg4). See here for more: FFmpeg: The ultimate Video and Audio Manipulation Tool - Super User Blog