MaxSAT Evaluation 2018: Summary of Weighted Incomplete Track 300 s

SolverScore (avg)
LinSBPS0.900
Open-WBO-Inc-BMO0.842
maxroster0.804
Open-WBO-Inc-Cluster0.762
SATLike-c0.747
SATLike0.702
Open-WBO-Gluc0.68
Open-WBO-Riss0.663
Your browser does not support the HTML 5 canvas element