MaxSAT Evaluation 2017: Summary of Weighted Incomplete Track under 300 s Timeout
Solver
Score(avg)
#Solution
#Best
maxroster
0.834
149
78
WPM3-in
✝
0.767
152
19
SAT4J
✝
0.766
151
8
MaxHS-inc
0.76
148
26
LMHS-inc
0.74
145
6
Dist
✝
0.523
104
22
CCEHC
✝
0.519
103
20
Open-WBO-LSU
0.496
92
34
✝
Hors concours solver.