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 PicatSAT 2019-09-12 (complete)


1 2 3

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-5.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
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-01.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
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-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-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-19.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-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
Fastfood/Fastfood-m1-s1/
Fastfood-ff56.xml

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

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

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

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

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

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

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

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

Download the above graph as a PDF file / as an EPS file
SteelMillSlab/
SteelMillSlab-bench_17_11.xml

Download the above graph as a PDF file / as an EPS file
SteelMillSlab/
SteelMillSlab-bench_16_2.xml

Download the above graph as a PDF file / as an EPS file
SteelMillSlab/
SteelMillSlab-bench_19_19.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s1/
ChessboardColoration-int-09-09.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-05-07.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-08-10.xml

Download the above graph as a PDF file / as an EPS file
ChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-11-13.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/
OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-30-15-1.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-10-20-1.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-30-15-1.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-30-30-1.xml

Download the above graph as a PDF file / as an EPS file
OpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbp-15-15-1.xml

Download the above graph as a PDF file / as an EPS file
Ramsey/Ramsey-int-s1/
Ramsey-int-13.xml

Download the above graph as a PDF file / as an EPS file
NurseRostering/
NurseRostering-01_c18.xml

Download the above graph as a PDF file / as an EPS file
Tal/
Tal-05_c18.xml

Download the above graph as a PDF file / as an EPS file
Tal/
Tal-03_c18.xml

Download the above graph as a PDF file / as an EPS file

1 2 3