2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): search progress per solver

Quality of the solution as a function of time for solver miniBTD 2017-08-10 (complete)