2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers): search progress per solver

Quality of the solution as a function of time for solver R1: BTD 2017-06-30 (complete)