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

GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-1-fullins-5.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-12.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-huck.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjr-500-1.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-david.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-3.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-scr15.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr18a.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10a.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15b.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-scr12.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/ OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-20-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-nrwsLarge-4-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-10-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml Download the above graph as a PDF file / as an EPS file	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-10-20-1.xml Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbp-15-15-1.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-006.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-021.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-018.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-017.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-019.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-029.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-15.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-10.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-07.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-09.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-05.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-06.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-19.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-03.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-00.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-02.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-01.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-11.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-08.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-04.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-09.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s30/ Knapsack-30-100-03.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-02.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s30/ Knapsack-30-100-08.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-19.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-14.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-15.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-01.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-06.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-10.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-09.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-05.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-17.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-13.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s4-4-3-1.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-bgr/ Pb-bgr-06.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-jnh220.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e5.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32a1.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-jnh217.xml Download the above graph as a PDF file / as an EPS file
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-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-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

1 2