Benchmarks

Some benchmarks for evaluating Solvers.


cnf

Benchmarks for Model Counting

SampleCount benchmarks
FocusedFlatSat benchmarks
PMC benchmarks

Benchmarks for MaxSAT

MaxSAT competitions


weighted cnf

Benchmarks for Weighted Model Counting

Cachet benchmarks

Benchmarks for Weighted (Partial) MaxSAT

MaxSAT competitions


quantified cnf

Benchmarks for QBF

QBF competition
QBFLIB