MaxSAT Evaluation 2021: Summary of Weighted Incomplete Track 300 s

SolverScore (avg)
Loandra0.831
TT-Open-WBO-Inc0.796
SATLike-c0.779
SATLike-ck0.776
Open-WBO-Inc
(inc-bmo-complete)		0.724
Open-WBO-Inc
(inc-bmo-satlike)		0.720
StableResolve0.583
Exact0.503