MaxSAT Evaluation 2022: Summary of Incremental Track - AdaBoost
Solver
#Solved
Time(avg)
iMaxHS
23
1873.43
UWrMaxSat
17
1022.0
UWrMaxSat+SCIP
17
3285.47
EvalMaxSAT
16
993.5
Your browser does not support the HTML 5 canvas element