ffmpeg

メイン機を変更した。CPUがあんまり速くないのでベンチ上は大差なし。

で、ffmpeg走らせた。単にカード入れるだけでなく、ドライバーをダウンして、CUDAもインストールする必要があったようだ。そんで旧環境のffmpegが実現した。途中、「同じファイルネームがある（つまり、同じファイルを何回も同じターゲットファイル名で何度もエンコードしようとする）とffmpegがエラーを起こす問題」でしばらく困った。