MaxSAT Evaluation 2022: Summary of Weighted Incomplete Track 60 s
Solver
Score (avg)
NuWLS-c
0.759
DT-Hywalk
0.732
TT-Open-WBO-inc (g variant)
0.728
TT-Open-WBO-inc (is variant)
0.726
TT-Open-WBO-inc (i variant)
0.720
Loandra
0.693
Open-WBO-inc-comp
0.689
Open-WBO-inc-satlike
0.654
Exact
0.475
noSAT-MaxSAT
0.442
Your browser does not support the HTML 5 canvas element