если галка включена, то никаких сомнений нет - под галкой в скобочках пишется имя профиля. Он либо тот, что стоит под Composite Printer, либо тот профиль, что подменяет его при установках Advanced Printer Settings, вызываемых кликом по Composite Printer. А вот в какой ЦМИК конвертится РГБ при выключенной галке я не знаю, логика непонятна.
В профиль ЦМИК, который стоит под Separation printer происходит конверсия при выполнении в Кореле действия Convert to Bitmap --- CMYK.