MaxSAT Evaluation 2018: Summary of Weighted Incomplete Track 60 s

SolverScore (avg)
Open-WBO-Inc-BMO0.810
LinSBPS0.799
maxroster0.773
Open-WBO-Inc-Cluster0.743
SATLike-c0.696
Open-WBO-Gluc0.669
SATLike0.661
Open-WBO-Riss0.638
Your browser does not support the HTML 5 canvas element