MaxSAT Evaluation 2019: Summary of Weighted Complete Track

Solver#SolvedTime(avg)
RC2-2018380269.58
UWrMaxSAT371186.33
MaxHS357259.52
QMaxSAT2018327321.78
maxino2018325221.59
Pacose321309.23
Open-WBO-g317277.12
Open-WBO-ms-pre311191.96
Open-WBO-ms306264.3
Your browser does not support the HTML 5 canvas element