SAT-Solver-with-CDCL Performance ~110 seconds for the 1000 sample benchmarks Methodology 1. CDCL 2. Sorting the input by frequency(NOTE: It may be slow for the uniform distributed case) To Run ./run_benchmark.sh