2019 XCSP3 competition: mini-solver track (sequential and parallel solvers): search progress per solver
Quality of the solution as a function of time for solver (reference) PicatSAT
2019-09-12
(complete)
1
2
TravellingSalesman/TravellingSalesman-m1-n15/
TravellingSalesman-15-30-12.xml
Download the above graph
as a PDF file
/
as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/
TravellingSalesman-15-30-17.xml
Download the above graph
as a PDF file
/
as an EPS file
TravellingSalesman/TravellingSalesman-m1-n25/
TravellingSalesman-25-30-01.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/
OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-10-20-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-15-30-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-20-20-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-30-15-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-10-20-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-20-20-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-30-15-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-30-30-1.xml
Download the above graph
as a PDF file
/
as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbp-15-15-1.xml
Download the above graph
as a PDF file
/
as an EPS file
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-07-opt_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
SumColoring/
SumColoring-dsjc-250-1_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/
GolombRuler-a3v18-10_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/
GolombRuler-a3v18-08_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/
GolombRuler-a3v18-09_c18.xml
Download the above graph
as a PDF file
/
as an EPS file
1
2