MaxSAT Evaluation 2017: Summary of Unweighted Complete Track
Solver
#Solved
Time(avg)
Open-WBO-RES
652
129.9
Open-WBO-MSE16
✝
651
130.61
MaxHS
651
182.61
maxino
639
99.14
MSUSorting
622
171.96
QMaxSATuc
573
165.19
Z3
✝
570
187.51
QMaxSAT
566
192.95
LMHS
566
264.11
Open-WBO-LSU
551
180.55
CPLEX
✝
392
296.84
✝
Non-competitive solver.
Your browser does not support the HTML 5 canvas element