MaxSAT Evaluation 2020: Summary of Weighted Complete Track
Solver
#Solved
Time(avg)
UWrMaxSat
436
148.97
MaxHS
434
184.69
RC2-B
417
205.88
RC2-A
411
185.92
maxino
393
203.21
Pacose
385
197.83
QMaxSAT
377
281.47
maxino-pref
375
162.1
smax_minisat
339
182.94
smax_mergesat
282
293.93
Your browser does not support the HTML 5 canvas element