MaxSAT Evaluation 2020: Summary of Unweighted Incomplete Track 60 s
Solver
Score(avg)
SATLike-c
0.798
TT-Open-WBO
0.79
Loandra
0.738
sls-lsu
0.715
sls-mcs
0.701
StableResolver
0.658