MaxSAT Evaluation 2020: Summary of Weighted Incomplete Track 300 s

SolverScore(avg)
TT-Open-WBO0.871
SATLike-cw0.87
SATLike-c0.855
Open-WBO-Inc-complete0.848
Loandra0.838
Open-WBO-Inc-satlike0.823
Open-WBO-Inc-satlike190.788
sls-mcs20.766
sls-mcs0.698
StableResolver0.648