PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver roundingsat+pbsuma-opt-log 63f22ad (complete)