MaxSAT Evaluation 2017: Summary of Unweighted Incomplete Track under 60 s Timeout
Solver
Score(avg)
#Solution
#Best
Open-WBO-LSU
0.732
175
56
MaxHS-inc
0.662
177
17
maxroster
0.643
141
75
WPM3-in
✝
0.625
193
25
SAT4J
✝
0.585
161
15
LMHS-inc
0.561
157
21
Dist
✝
0.526
147
48
CCEHC
✝
0.526
124
65
✝
Hors concours solver