992 resultados para SAT-solvers, Small Hard Benchmarks