MaxSAT Evaluation 2022: Summary of Weighted Incomplete Track 300 s
Solver
Score (avg)
NuWLS-c
0.846
Loandra
0.814
DT-Hywalk
0.798
TT-Open-WBO-inc (i variant)
0.791
TT-Open-WBO-inc (g variant)
0.777
TT-Open-WBO-inc (is variant)
0.776
Open-WBO-inc-comp
0.774
Open-WBO-inc-satlike
0.750
Exact
0.541
noSAT-MaxSAT
0.512
Your browser does not support the HTML 5 canvas element