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

Quality of the solution as a function of time for solver choco-solver 4.0.5 par (2017-08-09) (complete)

1 2 3 4

Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml Download the above graph as a PDF file / as an EPS file
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