MaxSAT
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
69.6Aggregated ECDF
4
Apr 9, 2026
62.4Aggregated ECDF
4
Apr 9, 2026
69.6Aggregated ECDF
4
Apr 9, 2026
58.4Aggregated ECDF
4
Apr 9, 2026
106Win Count (Best Solution, 10 Runs)
4
Apr 9, 2026
103Win Count (Best Run)
4
Apr 9, 2026
110Best Solution Win Count
4
Apr 9, 2026
81Best Win Rate (10 Runs)
4
Apr 9, 2026
0.901Average Score
4
Apr 9, 2026
0.942Average Score
4
Apr 9, 2026
90.2Average Score
4
Apr 9, 2026
90.4Average Score
4
Apr 9, 2026