ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted Anytime Track 2023MaxSAT on MaxSAT Evaluation Unweighted Anytime Track 2023Follow90.2Average ScoreNuWLS69.71275.03180.3585.669Mar 11, 2024Evaluation resultsMethodMethodLinksAverage ScoreNuWLScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0390.2BandMaxcutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0380MaxFPScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0378.2SATLikecutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0370.5