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 cosoco 1.12 (complete)

1 2 3

ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml Download the above graph as a PDF file / as an EPS file	ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml Download the above graph as a PDF file / as an EPS file
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml Download the above graph as a PDF file / as an EPS file	Rack/ Rack-m1c-s1/Rack-m1c-r2.xml Download the above graph as a PDF file / as an EPS file
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml Download the above graph as a PDF file / as an EPS file
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-15.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-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