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

SolverScore (avg)
Loandra0.88
SATLike0.845
LinSBPS20180.843
sls-mcs0.795
sls-mcs-lsu0.779
Open-WBO-g0.745
Open-WBO-ms0.727
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.