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

1 2 3

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

1 2 3