PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01 (complete)