MaxSAT Evaluation 2022: Summary of Unweighted Incomplete Track 60 s
Solver
Score (avg)
NuWLS-c
0.807
DT-Hywalk
0.773
TT-Open-WBO-inc (g variant)
0.769
TT-Open-WBO-inc (is variant)
0.764
TT-Open-WBO-inc (i variant)
0.756
Loandra
0.634
noSAT-MaxSAT
0.517
Exact
0.426
Your browser does not support the HTML 5 canvas element