List your company
ResearchFormerly WizWand

MaxSAT on MaxSAT Evaluation Unweighted 2022

69.6Aggregated ECDFNuWLS
48.59254.04659.564.954Mar 11, 2024
Updated 6mo ago

Evaluation results

MethodLinks
NuWLS2024.0369.6
MaxFPS2024.0360.2
BandMax2024.0358.9
SATLike2024.0349.4