MaxSAT Evaluation 2018: Summary of Unweighted Incomplete Track 300 s
Solver
Score (avg)
SATLike-c
0.854
maxroster
0.829
LinSBPS
0.782
SATLike
0.718
Open-WBO-Inc-OBV
0.713
Open-WBO-Inc-MCS
0.687
Open-WBO-Gluc
0.670
Open-WBO-Riss
0.633
Your browser does not support the HTML 5 canvas element