MaxSAT Evaluation 2021: Summary of Unweighted Complete Track

Solver#SolvedTime(avg)
MaxHS424194.62
CASHWMaxSAT423241.41
EvalMaxSAT411145.48
UWrMaxSAT403134.3
Open-WBO-RES-MergeSAT387179.41
Open-WBO-RES-Glucose380113.41
Pacose342179.31
Exact313220.7
Your browser does not support the HTML 5 canvas element