MaxSAT Evaluation 2021: Summary of Unweighted Incomplete Track 60 s

SolverScore (avg)
SATLike-c0.830
TT-Open-WBO-Inc0.823
SATLike-ck0.816
Loandra (2020)0.705
StableResolve (2020)0.685
Exact0.422