Many of my research projects had some sets of benchmarks for various problem classes as side results. You can download some of them on this page.

  • MaxSAT instances for computing approximately propation complete and conflict propagating CNF encodings of constraints over Boolean variables: This benchmark set was submitted to the MaxSAT Evaluation 2018 and is based on the SAT 2018 paper that I co-authored. The benchmark set is available here.