MaxSAT Evaluation 2020: Summary of Weighted Incomplete Track 60 s

SolverScore(avg)
TT-Open-WBO0.808
SATLike-cw0.802
Open-WBO-Inc-complete0.769
Loandra0.741
Open-WBO-Inc-satlike0.735
SATLike-c0.735
Open-WBO-Inc-satlike190.7
sls-mcs20.684
sls-mcs0.636
StableResolver0.548