Due to copyright restrictions, this download contains only a patch file and for one base SAT solver. If you would like to try SatX10 with multiple solvers, or are interested in adding a new solver, please let us know!

CNF formulas used in the SAT-07 paper on the practical usefulness of much shorter XORs than the worst case theoretical analysis would suggest, Short XORs for Model Counting: From Theory to Practice: SAT07-suite.tgz (32 KB)

CNF formulas used in the IJCAI-07 paper on SampleCount for model counting, From Sampling to Model Counting: IJCAI07-suite.tgz (3.5 MB)

CNF formulas used in the NIPS-06 paper on XOR based sampling, Near-Uniform Sampling of Combinatorial Spaces Using XOR Constraints: NIPS06-suite.tgz (12 KB)

CNF formulas used in the AAAI06 paper on XOR based model counting, Model Counting: A New Strategy for Obtaining Good Bounds: AAAI06-suite-v2.tgz (1 MB), please see note about PHP formulas

CNF formulas used in the AAAI05 paper on symmetry breaking, SymChaff: A Structure-Aware Satisfiability Solver: AAAI05-suite.tgz