2018 XCSP3 competition: sequential solvers tracks: search progress per solver
Quality of the solution as a function of time for solver macht
2018.06.11
(complete)