Benchmark Sets

A compilation of all descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, is available here.

The benchmark sets used in the individual evaluation tracks are available via the links below.

• MSE18 complete unweighted benchmarks (890 MB) link
• MSE18 complete weighted benchmarks (3 GB) link
• MSE18 incomplete unweighted benchmarks (377 MB) link
• MSE18 incomplete weighted benchmarks (775 MB) link
• All new benchmarks submitted to MSE18 (192 MB) link
  Note that these are not necessarily in standard format. For standardized versions please visit maxsat-lib