MaxSAT Evaluation 2021: Summary of Unweighted Incomplete Track 300 s

SolverScore (avg)
SATLike-c 0.881
SATLike-ck0.866
TT-Open-WBO-Inc 0.862
Loandra (2020)0.834
StableResolve (2020)0.703
Exact0.470