MaxSAT Evaluation 2022
Affiliated with SAT 2022   ·   August 2-5   ·   Haifa, Israel

Benchmark Sets

MSE 2022 benchmark sets

MSE 2022 incremental track benchmarks are available in the IPAMIR repository. Each benchmark application is a subdirectory in the app directory. The corresponding input instances can be found from the archive inputs.zip in the subdirectory.