MaxSAT Evaluation 2021: Summary of Weighted Complete Track*

Solver#SolvedTime(avg)
CASHWMaxSAT471217.62
MaxHS464198.96
UWrMaxSAT455159.06
EvalMaxSAT-fastMinimize434158.87
EvalMaxSAT-fullMinimize432212.9
Pacose416187.98
Exact337178.37
Your browser does not support the HTML 5 canvas element

* Results have been updated to include EvalMaxSAT after a minor fix to a printing bug.