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 cosoco 2 (complete)

1 2

PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-p0040.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-ttp/ Pb-circ8-3.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-1.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-ex6inp-r.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	PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m050-100-30-30-r.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-04.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-14.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-05.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-01.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-17.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-06.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-04.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-01.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-10.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-11.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-00.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-03.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-02.xml Download the above graph as a PDF file / as an EPS file	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-n50/ TravellingSalesman-50-30-04.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-06.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-12.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-00.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-07.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	TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-10.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-13.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-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
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-20-10-1.xml Download the above graph as a PDF file / as an EPS file	Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-04-opt_c18.xml Download the above graph as a PDF file / as an EPS file
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-10-opt_c18.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	Auction/Auction-sum/ Auction-sum-decay200_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-sum/ Auction-sum-decay500_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-14_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
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml Download the above graph as a PDF file / as an EPS file

1 2