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
test/cop/
OpenStacks-m1-pb-10-10-1.xml
Download the above graph
as a PDF file
/
as an EPS file
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-dsjc-250-5.xml
Download the above graph
as a PDF file
/
as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-wap05a.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-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
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-scr15.xml
Download the above graph
as a PDF file
/
as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-sko42.xml
Download the above graph
as a PDF file
/
as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-wil100.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-nug17.xml
Download the above graph
as a PDF file
/
as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-nug16a.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-lipa50a.xml
Download the above graph
as a PDF file
/
as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa30b.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-lipa60b.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-bur26d.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-tai17a.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
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-kra32.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-wbo-10-30-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-Miller-19.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-012.xml
Download the above graph
as a PDF file
/
as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-033.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-062.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-067.xml
Download the above graph
as a PDF file
/
as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-038.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
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-089.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-08.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-dimacs/
Pb-ii16c1.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-factor/
Pb-factor-S9-P293-Q307.xml
Download the above graph
as a PDF file
/
as an EPS file
1
2