PB'24 competition: search progress per solver

Quality of the solution as a function of time for solver RoundingSat nolog (2) (complete)