2017 XCSP3 competition: fast COP track (sequential and parallel solvers): search progress per solver

Quality of the solution as a function of time for solver choco-solver 4.0.5 seq (2017-08-18) (complete)

1 2 3

GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.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-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
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml Download the above graph as a PDF file / as an EPS file
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml Download the above graph as a PDF file / as an EPS file	QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.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	BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml Download the above graph as a PDF file / as an EPS file
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml Download the above graph as a PDF file / as an EPS file	BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml Download the above graph as a PDF file / as an EPS file
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.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-domset/ Pb-domset-v500-e2000-w30-mw19-11.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-P251-Q379.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.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-n45/ TravellingSalesman-45-30-04.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.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-n50/ TravellingSalesman-50-30-01.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.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
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml Download the above graph as a PDF file / as an EPS file	BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml Download the above graph as a PDF file / as an EPS file