2018 XCSP3 competition: mini-solvers track: search progress per solver

Quality of the solution as a function of time for solver minimacht 2018.07.27 (complete)