ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted anytime track 2023 (Win Rate Metrics)Follow110Best Solution Win CountNuWLS48.6464.5780.596.43Mar 11, 2024Evaluation ResultsMethodMethodLinksBest Solution Win CountAverage Result Win CountNuWLSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.0311099BandMaxCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.037342MaxFPSCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.037134SATLikeCutoff time=300s, Numb...Cutoff time=300s, Number of runs=102024.035130