MaxSAT Evaluation 2021: Summary of Weighted Incomplete Track 60 s

SolverScore (avg)
SATLike-ck0.793
TT-Open-WBO-Inc0.785
SATLike-c0.784
Loandra (2020)0.728
Open-WBO-Inc-complete (2020)0.722
Open-WBO-Inc-satlike (2020)0.684
StableResolve (2020)0.428
Exact0.377