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 sat4j-CSP
2017-07-05
(complete)
1
2
Fastfood/Fastfood-m1-s1/
Fastfood-ff76.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff46.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff71.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff41.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff16.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff84.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff77.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff18.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff32.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff69.xml
Download the above graph
as a PDF file
/
as an EPS file
ChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-05-05.xml
Download the above graph
as a PDF file
/
as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-04-06.xml
Download the above graph
as a PDF file
/
as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-07-09.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-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
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
Rack/
Rack-m1c-s1/Rack-m1c-r4.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-10.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
1
2