PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver roundingsat-ls+pbsuma-log 0f876b3 (complete)