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 sat4j-CSP 2017-07-05 (complete)


1 2

PseudoBoolean/PseudoBoolean-opt-fs/
Pb-fs-50-250-0-45-90-4-1000.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-domset/
Pb-domset-v500-e2000-w30-mw19-11.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-ii08a1.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/
PseudoBoolean-opt-dimacs/Pb-ii8d2.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-vtxcov/
Pb-vtxcov-v2000-e4000-05.xml

Download the above graph as a PDF file / as an EPS file
PseudoBoolean/
PseudoBoolean-opt-gr/Pb-gr-05.xml

Download the above graph as a PDF file / as an EPS file
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-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-n30/
TravellingSalesman-30-30-18.xml

Download the above graph as a PDF file / as an EPS file
BinPacking/BinPacking-sum-skj1/
BinPacking-sum-n1c3w4r.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-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
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-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-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-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-wbop-10-20-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
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