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

SolverScore (avg)
Loandra0.806
LinSBPS20180.776
SATLike0.764
Open-WBO-g0.687
sls-mcs-lsu0.682
sls-mcs0.682
Open-WBO-ms0.605
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.