ResearchBenchmarksMaxSAT on MaxSAT Evaluation Unweighted anytime track 2023 (Win Rate Metrics)MaxSAT 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