ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted anytime track 2022 (10-Run Win Rate Metrics)Follow106Win Count (Best Solution, 10 Runs)NuWLS52.9666.7380.594.27Mar 11, 2024Evaluation ResultsMethodMethodLinksWin Count (Best Solution, 10 Runs)Win Count (Average Result, 10 Runs)NuWLSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.0310691BandMaxCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.038965MaxFPSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.038664SATLikeCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.035539