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: Concrete 3.4 (complete)


1 2 3

PseudoBoolean/PseudoBoolean-opt-radar/
Pb-radar-10-10-45-095-100.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/
Pb-logic-m100-100-30-30-r.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/
TravellingSalesman-20-30-02.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/
TravellingSalesman-20-30-09.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/
TravellingSalesman-20-30-18.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n45/
TravellingSalesman-45-30-04.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n45/
TravellingSalesman-45-30-09.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/
TravellingSalesman-15-30-13.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n50/
TravellingSalesman-50-30-01.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n50/
TravellingSalesman-50-30-05.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n40/
TravellingSalesman-40-30-19.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-15.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-14.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n75/
TravellingSalesman-75-50-02.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n75/
TravellingSalesman-75-50-15.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n30/
TravellingSalesman-30-30-18.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-00.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-08.xml

Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-05.xml

Download the above graph as a PDF file / as an EPS file
BinPacking/BinPacking-tab-sw100/
BinPacking-tab-sw100-74.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff54.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff44.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff65.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff57.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff37.xml

Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff06.xml

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

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-12-12.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-13-13.xml

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

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-15-17.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-16-18.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
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
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