MaxSAT Evaluation
Benchmarks
Task NameDataset NameSOTA ResultTrendResults
MaxSAT Evaluation Unweighted 2022
69.6Aggregated ECDF
4
MaxSAT Evaluation Weighted 2022
62.4Aggregated ECDF
4
MaxSAT Evaluation Unweighted 2023
69.6Aggregated ECDF
4
MaxSAT Evaluation Weighted 2023
58.4Aggregated ECDF
4
MaxSAT Evaluation Unweighted anytime track 2022
106Win Count (Best Solution, 10 Runs)
4
MaxSAT Evaluation Weighted anytime track 2022
103Win Count (Best Run)
4
MaxSAT Evaluation Unweighted anytime track 2023
110Best Solution Win Count
4
MaxSAT Evaluation Weighted anytime track 2023
81Best Win Rate (10 Runs)
4
MaxSAT Evaluation Unweighted Anytime Track 2022
0.901Average Score
4
MaxSAT Evaluation Weighted Anytime Track 2022
0.942Average Score
4
MaxSAT Evaluation Unweighted Anytime Track 2023
90.2Average Score
4
MaxSAT Evaluation Weighted Anytime Track 2023
90.4Average Score
4