MaxSAT Evaluation 2017: Summary of Weighted Incomplete Track under 60 s Timeout
Solver
Score(avg)
#Solution
#Best
maxroster
0.8
147
65
WPM3-in
✝
0.758
151
24
SAT4J
✝
0.751
146
16
LMHS-inc
0.711
146
10
Open-WBO-LSU
0.677
141
37
MaxHS-inc
0.669
141
17
Dist
✝
0.509
98
27
CCEHC
✝
0.473
90
27
✝
Hors concours solver.