MaxSAT Evaluation 2017: Summary of Unweighted Incomplete Track under 300 s Timeout
Solver
Score(avg)
#Solution
#Best
maxroster
0.846
179
116
Open-WBO-LSU
0.694
175
43
MaxHS-inc
0.67
182
33
SAT4J
✝
0.593
175
16
CCEHC
✝
0.58
149
57
LMHS-inc
0.57
176
20
WPM3-in
✝
0.552
193
20
Dist
✝
0.522
151
48
✝
Hors concours solver.