MaxSAT Evaluation 2018: Summary of Unweighted Complete Track

Solver#SolvedTime(avg)
RC2-B421126.32
RC2-A416138.98
maxino405137.5
MaxHS386178.06
Open-WBO-Gluc382171.54
Open-WBO-Riss370154.64
LMHS323261.77
QMaxSAT292257.27
Your browser does not support the HTML 5 canvas element