
If you want to convert the frame rate, the following is very solid x264 command which produces high-quality, but very compatible output. Using -ss 00:00:00.000 -t 00:01:00.000" will allow you to test just the first 1 minute of your video without waiting overnight for a result. You may be able to get away with 60fps and a reduced number of reference frames/b-pyramid. Limiting the b-pyramid to strict and limiting the reference frames to 3 makes it easier for certain decoders and players.

You may find that one of the H.264 codecs will allow your laptop to work with 60fps, since you'll probably benefit from some hardware decode mojo.

Using the fps filter in combination with -r seems to produce the cleanest, most accurate framerate conversion, as reported by tools such as FFprobe, mediainfo and Apple's mediastreamvalidator.
