MaxSAT Evaluation 2018: Summary of Unweighted Incomplete Track 300 s

SolverScore (avg)
SATLike-c0.854
maxroster0.829
LinSBPS0.782
SATLike0.718
Open-WBO-Inc-OBV0.713
Open-WBO-Inc-MCS0.687
Open-WBO-Gluc0.670
Open-WBO-Riss0.633
Your browser does not support the HTML 5 canvas element