List your company

MaxSAT on MaxSAT Evaluation Weighted 2023

58.4Aggregated ECDFNuWLS
40.244.92549.6554.375Mar 11, 2024

Evaluation results

MethodLinks
NuWLS2024.0358.4
MaxFPS2024.0344.5
BandMax2024.0344.4
SATLike2024.0340.9