Add running using a CNF file