Benchmark Sets
A compilation of all descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks will be available soon.
The benchmark sets used in the individual evaluation tracks are available via the links below.
- MSE19 complete unweighted benchmarks (1 GB) link
- MSE19 complete weighted benchmarks (4 GB) link
- MSE19 incomplete unweighted benchmarks (853 MB) link
- MSE19 incomplete weighted benchmarks (4 GB) link
- All new benchmarks submitted to MSE19 are available at maxsat-lib