PB'26 competition: search progress per solver

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