Adding the CNF files from the experiments