MaxSAT Evaluation 2022: Summary of Unweighted Incomplete Track 300 s
Solver
Score (avg)
NuWLS-c
0.895
DT-Hywalk
0.874
TT-Open-WBO-inc (i variant)
0.868
TT-Open-WBO-inc (is variant)
0.866
TT-Open-WBO-inc (g variant)
0.864
Loandra
0.781
noSAT-MaxSAT
0.596
Exact
0.481
Your browser does not support the HTML 5 canvas element