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-06-30 (complete)