PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23 (complete)