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 sat4j-CSP
2017-07-05
(complete)
1
2
StillLife/StillLife-wst-s1/
StillLife-wastage-03.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-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-fixed/
GraphColoring-qwhopt-o5-h10-1.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-games120.xml
Download the above graph
as a PDF file
/
as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-mug100-25.xml
Download the above graph
as a PDF file
/
as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-4-insertions-3.xml
Download the above graph
as a PDF file
/
as an EPS file
GraphColoring/GraphColoring-m1-mono/
GraphColoring-3-fullins-3.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
Opd/Opd-sum-large/
Opd-07-035-010.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-large/
Opd-03-035-010.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-large/
Opd-13-035-010.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-large/
Opd-02-350-100.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-large/
Opd-14-035-010.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-small/
Opd-10-031-009.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-small/
Opd-19-019-009.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-small/
Opd-10-026-004.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-small/
Opd-09-037-012.xml
Download the above graph
as a PDF file
/
as an EPS file
Opd/Opd-sum-small/
Opd-10-038-010.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-esc32a.xml
Download the above graph
as a PDF file
/
as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-esc32d.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-chr20b.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-esc16d.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
Vrp/Vrp-zinc-s1/
Vrp-A-n36-k5.xml
Download the above graph
as a PDF file
/
as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-A-n33-k6.xml
Download the above graph
as a PDF file
/
as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-B-n31-k5.xml
Download the above graph
as a PDF file
/
as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-A-n34-k5.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/GolombRuler-a3-s1/
GolombRuler-12-a3.xml
Download the above graph
as a PDF file
/
as an EPS file
GolombRuler/GolombRuler-a3-s1/
GolombRuler-05-a3.xml
Download the above graph
as a PDF file
/
as an EPS file
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-06-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-05-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
QueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-06.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-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-17.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-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-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-vtxcov/
Pb-vtxcov-v2000-e4000-05.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
Fastfood/Fastfood-m1-s1/
Fastfood-ff54.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff44.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-ff57.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff37.xml
Download the above graph
as a PDF file
/
as an EPS file
Fastfood/Fastfood-m1-s1/
Fastfood-ff06.xml
Download the above graph
as a PDF file
/
as an EPS file
1
2