ResearchBenchmarksMaxSAT Evaluation Weighted Anytime Track 2023Follow90.4Average ScoreNuWLS82.39284.47186.5588.629Mar 11, 2024Evaluation ResultsMethodMethodLinksAverage ScoreNuWLScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0390.4MaxFPScutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0386.7BandMaxcutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0384.9SATLikecutoff time=300s, tria...cutoff time=300s, trials=10 independent runs2024.0382.7