PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver WMaxCDCL-S9 2026-05-17 (complete)