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: Mistral-2.0 2017-06-28 (complete)

1 2 3 4

Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-14.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