MaxSAT Evaluation 2020: Summary of Unweighted Incomplete Track 300 s
Solver
Score(avg)
SATLike-c
0.861
TT-Open-WBO
0.846
Loandra
0.835
sls-lsu
0.804
sls-mcs
0.803
StableResolver
0.743