2019 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 2019-06-14 (complete)

1 2 3

LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-072.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.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-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-078.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-28-4-7-3.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-1.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-2.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-5.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-3.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml Download the above graph as a PDF file / as an EPS file
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml Download the above graph as a PDF file / as an EPS file	PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-0.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-01.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-05.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-43-06.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-41-06.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml Download the above graph as a PDF file / as an EPS file	QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml Download the above graph as a PDF file / as an EPS file
Mario/ Mario-zinc-s1/Mario-t-hard-2.xml Download the above graph as a PDF file / as an EPS file	Mario/ Mario-zinc-s1/Mario-t-hard-5.xml Download the above graph as a PDF file / as an EPS file
Mario/ Mario-zinc-s1/Mario-t-hard-1.xml Download the above graph as a PDF file / as an EPS file	Mario/Mario-zinc-s1/ Mario-n-medium-3.xml Download the above graph as a PDF file / as an EPS file
Mario/Mario-zinc-s1/ Mario-n-medium-2.xml Download the above graph as a PDF file / as an EPS file	Mario/Mario-zinc-s1/ Mario-n-medium-5.xml Download the above graph as a PDF file / as an EPS file
Mario/Mario-zinc-s1/ Mario-n-medium-4.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-14.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-13.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-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-11.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-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-01.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	Ramsey/Ramsey-m1-s1/ Ramsey-14.xml Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-m1-s1/ Ramsey-13.xml Download the above graph as a PDF file / as an EPS file	Ramsey/Ramsey-m1-s1/ Ramsey-45.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-5.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-jnh210.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.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-factor/ Pb-factor-S9-P347-Q487.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-lseu.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-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-m100-100-30-30-r.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-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-12.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-14.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-n150/ TravellingSalesman-150-50-13.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n25/ TravellingSalesman-25-30-03.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-00.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-11.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-19.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n35/ TravellingSalesman-35-30-07.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-02.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
ChessboardColoration/ChessboardColoration-m1-s2/ ChessboardColoration-08-10.xml Download the above graph as a PDF file / as an EPS file	ChessboardColoration/ChessboardColoration-m1-s1/ ChessboardColoration-09-09.xml Download the above graph as a PDF file / as an EPS file
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml Download the above graph as a PDF file / as an EPS file	BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4n.xml Download the above graph as a PDF file / as an EPS file
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4k.xml Download the above graph as a PDF file / as an EPS file	BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff73.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff59.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff62.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff34.xml Download the above graph as a PDF file / as an EPS file