2019 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 Fun-sCOP
order+ManyGlucose (2019-09-22)
(complete)