PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver roundingsat-opt 2026-06-11 (cert) (complete)