MaxSAT Evaluation 2019: Summary of Weighted Incomplete Track 60 s*

SolverScore (avg)
TT-Open-WBO-Inc0.786
Loandra0.765
inc-bmo-satlike0.742
inc-bmo-complete0.736
LinSBPS20180.725
Open-WBO-g0.713
SATLike0.71
sls-mcs20.684
Open-WBO-ms0.654
sls-mcs0.645
uwrmaxsat-inc0.643
Your browser does not support the HTML 5 canvas element
* Results have been updated to include SATLike after a minor fix to a printing bug.