MaxSAT Evaluation 2022: Summary of Incremental Track - SeeSaw
Solver
#Solved
Time(avg)
EvalMaxSAT
19
1090.96
iMaxHS
18
857.42
UWrMaxSat
6
3173.7
UWrMaxSat+SCIP
N/A
N/A
Your browser does not support the HTML 5 canvas element