ResearchBenchmarksMaxSAT on MaxSAT Evaluation Weighted 2023Follow58.4Aggregated ECDFNuWLS40.244.92549.6554.375Mar 11, 2024Evaluation ResultsMethodMethodLinksAggregated ECDFNuWLS2024.0358.4MaxFPS2024.0344.5BandMax2024.0344.4SATLike2024.0340.9