# Test suite for SAT solvers

I'm looking for a collection of SAT problems that are usable for a test suite, i.e.:

1. are small/easy to solve, that is, this is not a benchmark but a correctness test suite
2. some satisfiable, some unsatisfiable
3. answer and a possible assignment (for sat. ones) is known

All I find online are collections of benchmarks but heavy formulas are not what I need.

• Density is the ratio between the number of clauses and the number of variables, fixing the width of the clauses. I imagine that you know how to generate 3CNFs on $n$ variables with $m$ clauses. Dec 31, 2020 at 14:19