MaxSAT Evaluation 2022: Summary of Incremental Track - ExtEnf
Solver
#Solved
Time(avg)
iMaxHS
48
617.89
EvalMaxSAT
40
685.14
UWrMaxSat
38
757.4
UWrMaxSat+SCIP
37
552.59
Your browser does not support the HTML 5 canvas element