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: choco-solver 5a (2017-07-05) (complete)

1 2 3 4

Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml Download the above graph as a PDF file / as an EPS file

1 2 3 4