Sim, para importar arquivos IFC de outros softwares é necessário instalar o IFC Uploader. É um freeware que pode ser baixado no Store do BIMServer.Center.

Terá que fazer o seu cadastro na plataforma de colaboração BIMServer.Center que também é gratuito, fazer o upload dos arquivos IFC para a nuvem que posteriormente poderão ser importados para dentro do Open BIM Model Checker.