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