List your company
ResearchFormerly WizWand

MaxSAT on MaxSAT Evaluation Unweighted 2023

69.6Aggregated ECDFNuWLS
45.6851.8958.164.31Mar 11, 2024
Updated 7mo ago

Evaluation results

MethodLinks
NuWLS2024.0369.6
MaxFPS2024.0354.8
BandMax2024.0354.6
SATLike2024.0346.6