ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted 2023Follow69.6Aggregated ECDFNuWLS45.6851.8958.164.31Mar 11, 2024Evaluation ResultsMethodMethodLinksAggregated ECDFNuWLS2024.0369.6MaxFPS2024.0354.8BandMax2024.0354.6SATLike2024.0346.6