Run Yices files and build the result.