PB'24 competition: search progress per solver
Quality of the solution as a function of time for solver RoundingSat
nolog (2)
(complete)