ResearchBenchmarksMaxSAT on MaxSAT Evaluation Weighted 2022Follow62.4Aggregated ECDFNuWLS41.18446.69252.257.708Mar 11, 2024Evaluation ResultsMethodMethodLinksAggregated ECDFNuWLS2024.0362.4MaxFPS2024.0347BandMax2024.0345.8SATLike2024.0342