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