ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted 2022Follow69.6Aggregated ECDFNuWLS48.59254.04659.564.954Mar 11, 2024Evaluation ResultsMethodMethodLinksAggregated ECDFNuWLS2024.0369.6MaxFPS2024.0360.2BandMax2024.0358.9SATLike2024.0349.4