MaxSAT Evaluation 2018: Summary of Weighted Complete Track

Solver#SolvedTime(avg)
RC2-B421256.02
RC2-A416267.55
MaxHS390274.87
Pacose390348.98
QMaxSAT381320.78
maxino373250.98
Open-WBO-Gluc371292.56
Open-WBO-Riss338315.47
LMHS300345.49
Your browser does not support the HTML 5 canvas element