parellelize cnf duplicating