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

SolverScore (avg)
TT-Open-WBO-Inc0.858
Loandra0.842
Open-WBO-Inc
(inc-bmo-satlike)		0.825
LinSBPS20180.822
SATLike0.818
Open-WBO-Inc
(inc-bmo-complete)		0.813
Open-WBO-g0.786
sls-mcs20.745
uwrmaxsat-inc0.739
Open-WBO-ms0.735
sls-mcs0.697
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.