ResearchBenchmarksMaxSAT Evaluation Weighted Anytime Track 2023 (10-Run Stochastic Evaluation)Follow81Best Win Rate (10 Runs)NuWLS23.838.6553.568.35Mar 11, 2024Evaluation ResultsMethodMethodLinksBest Win Rate (10 Runs)Average Win Rate (10 Runs)NuWLSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.038181BandMaxCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.034230MaxFPSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.032620SATLikeCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.032618