ResearchBenchmarksMaxSAT on MaxSAT Evaluation Weighted Anytime Track 2022 (10-Run Stochastic Evaluation)Follow103Win Count (Best Run)NuWLS32.2850.646987.36Mar 11, 2024Evaluation ResultsMethodMethodLinksWin Count (Best Run)Win Count (Average Run)NuWLSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.03103103BandMaxCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.034940MaxFPSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.034941SATLikeCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.033527