Scripts for estimating the runtime of Cube-and-Conquer on a given CNF.
./scripts/find_cnc_threshold.py - does sampling to find a cutoff threshold with minimal runtime estimation of the conquer phase of Cube-and-Conquer. The threshold is used on the cubing phase to split a given problem.