MaxSAT Evaluation 2022: Summary of Incremental Track - PDR
Solver
#Solved
Time(avg)
EvalMaxSAT
44
772.86
UWrMaxSat
38
845.14
iMaxHS
36
563.37
UWrMaxSat+SCIP
31
498.38
Your browser does not support the HTML 5 canvas element