Experiment 7.1 - The weakness of search space splitting

The described CNF formula is the file h20minusOne_and_h11.cnf. The original version of march_cc was used for the experiment.