IVF videos are encoded by the Indeo codec from Ligos Corporation and many variants of these files exists, with different specifications. Your best option how to handle or export these files is to use tool like FFmpeg, which supposedly supports the most common IVF variant and thus can help you out with ivf to mp4 conversion or similar.
Updated: August 24, 2023