MaxSAT Evaluation 2019: Summary of Unweighted Complete Track

Solver#SolvedTime(avg)
RC2-2018419169.44
UWrMaxSAT41483.86
Open-WBO-ms409174.12
maxino2018399148.71
Open-WBO-g399156.88
Open-WBO-ms-pre391151.73
MaxHS390182.77
QMaxSAT2018305232.95
Your browser does not support the HTML 5 canvas element