2017 XCSP3 competition: mini-solver track (sequential and parallel solvers): search progress per solver

Quality of the solution as a function of time for solver Naxos 1.1.0 (complete)


1

StillLife/StillLife-m1-s1/
StillLife-11-15.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-10-11.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-08-10.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-11-14.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-10-12.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-03-05.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-06-13.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-08-13.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-12-12.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-03-06.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-11-12.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-05-06.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-10-14.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-03-11.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-09-12.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-03-10.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/
StillLife-04-05.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-queen8-8.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-dsjc-250-9.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-lei450-25d.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-dsjc-500-5.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-dsjc-250-1.xml


Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-2-fullins-3.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-tai80a.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-tai15a.xml


Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml


Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-lipa20b.xml


Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-tai12a.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
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-015.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-042.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-096.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-055.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-069.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-011.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-040.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-004.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-084.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-054.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-057.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-036.xml


Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-081.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-17.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-s30/
Knapsack-30-100-06.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/
Knapsack-30-100-04.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/
Knapsack-30-100-16.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-03.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-06.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-07.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-17.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-05.xml


Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/
Knapsack-60-250-13.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-00.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-16.xml


Download the above graph as a PDF file / as an EPS file
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-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-factor/
Pb-factor-S9-P071-Q409.xml


Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-factor/
Pb-factor-S9-P251-Q379.xml


Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-factor/
Pb-factor-S9-P167-Q347.xml


Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-mps/
Pb-mps-v2-20-10-sentoy.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-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

1