MaxSAT Evaluation 2018: Summary of Unweighted Incomplete Track 60 s

SolverScore (avg)
SATLike-c0.735
LinSBPS0.705
SATLike0.675
Open-WBO-Inc-OBV0.654
Open-WBO-Inc-MCS0.631
Open-WBO-Gluc0.612
Open-WBO-Riss0.564
maxroster0.541
Your browser does not support the HTML 5 canvas element