ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted Anytime Track 2022Follow0.901Average ScoreNuWLS0.72420.77010.8160.8619Mar 11, 2024Evaluation ResultsMethodMethodLinksAverage ScoreNuWLScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.901BandMaxcutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.854MaxFPScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.852SATLikecutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.731