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 OscaR - Conflict Ordering 2017-07-26 (complete)


1 2 3 4

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