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

Quality of the solution as a function of time for solver cosoco-sat 1.12 (complete)


1 2 3

StillLife/StillLife-wst-s1/
StillLife-wastage-24.xml


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


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-37.xml


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


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-26.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-27.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-28.xml


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


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-15.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-07.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-29.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-42.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-43.xml


Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-wst-s1/
StillLife-wastage-32.xml


Download the above graph as a PDF file / as an EPS file
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-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-ash331GPIA.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
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-nug30.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-nug21.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-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-sko81.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-nug20.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
QuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-ste36c.xml


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


Download the above graph as a PDF file / as an EPS file
Cutstock/Cutstock-zinc-s1/
Cutstock-t15-1.xml


Download the above graph as a PDF file / as an EPS file
Cutstock/Cutstock-zinc-s1/
Cutstock-t07-8.xml


Download the above graph as a PDF file / as an EPS file
Cutstock/Cutstock-zinc-s1/
Cutstock-t15-7.xml


Download the above graph as a PDF file / as an EPS file
Cutstock/Cutstock-zinc-s1/
Cutstock-t13-1.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-B-n45-k6.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-A-n61-k9.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-A-n33-k5.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-A-n48-k7.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-B-n67-k10.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-n60-k9.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-B-n50-k8.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-P-n65-k10.xml


Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/
Vrp-B-n68-k9.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-P-n50-k10.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
Vrp/Vrp-zinc-s1/
Vrp-B-n57-k9.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-14-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-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-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-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-21-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
GolombRuler/GolombRuler-a4-s1/
GolombRuler-19-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

1 2 3