ResearchBenchmarksMaxSAT on MaxSAT Evaluation Weighted Anytime Track 2022Follow0.942Average ScoreNuWLS0.860880.881940.9030.92406Mar 11, 2024Evaluation ResultsMethodMethodLinksAverage ScoreNuWLScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.942MaxFPScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.889BandMaxcutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.869SATLikecutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.030.864