MaxSAT Evaluation 2022: Summary of Incremental Track - BiOptSat
Solver
#Solved
Time(avg)
UWrMaxSat
50
877.55
UWrMaxSat+SCIP
50
1253.81
iMaxHS
45
1579.6
EvalMaxSAT
28
575.48
Your browser does not support the HTML 5 canvas element