Benchmark Problems

This page contains sample benchmark problems on which contestants can test their solvers. The files are in both the XCSP1.1 and table formats. Many thanks to Christophe Lecoutre for providing most of the problems and converting them to table format. If you find any broken links on this page then please send an e-mail to Mark Hennessy.
XML FormatTable Format
allSeries1.xml.tgz allSeries1.txt.tgz
BH-4-13.xml.tgz BH-4-13.txt.tgz
BH-4-4.xml.tgz BH-4-4.txt.tgz
BH-4-7.xml.tgz BH-4-7.txt.tgz
bqwh15_106.xml.tgz bqwh15_106.txt.tgz
bqwh18_141.xml.tgz bqwh18_141.txt.tgz
cc1.xml.tgz cc1.txt.tgz
composed-25-1-2.xml.tgz composed-25-1-2.txt.tgz
composed-25-1-25.xml.tgz composed-25-1-25.txt.tgz
composed-25-1-40.xml.tgz composed-25-1-40.txt.tgz
composed-25-1-80.xml.tgz composed-25-1-80.txt.tgz
composed-25-10-20.xml.tgz composed-25-10-20.txt.tgz
composed-75-1-2.xml.tgz composed-75-1-2.txt.tgz
composed-75-1-25.xml.tgz composed-75-1-25.txt.tgz
composed-75-1-40.xml.tgz composed-75-1-40.txt.tgz
composed-75-1-80.xml.tgz composed-75-1-80.txt.tgz
domino1.xml.tgz domino1.txt.tgz
ehi-85.xml.tgz ehi-85.txt.tgz
ehi-90.xml.tgz ehi-90.txt.tgz
fapp01.xml.tgz fapp01.txt.tgz
fapp02.xml.tgz fapp02.txt.tgz
frb30-15.xml.tgz frb30-15.txt.tgz
frb35-17.xml.tgz frb35-17.txt.tgz
frb40-19.xml.tgz frb40-19.txt.tgz
frb45-21.xml.tgz frb45-21.txt.tgz
frb50-23.xml.tgz frb50-23.txt.tgz
frb53-24.xml.tgz frb53-24.txt.tgz
frb56-25.xml.tgz frb56-25.txt.tgz
frb59-26.xml.tgz frb59-26.txt.tgz
geom.xml.tgz geom.txt.tgz
Golomb.xml.tgz Golomb.txt.tgz
gr1.xml.tgz gr1.txt.tgz
hanoi1.xml.tgz hanoi1.txt.tgz
js-e0ddr1.xml.tgz js-e0ddr1.txt.tgz
js-e0ddr2.xml.tgz js-e0ddr2.txt.tgz
js-enddr1.xml.tgz js-enddr1.txt.tgz
js-enddr2.xml.tgz js-enddr2.txt.tgz
js-ewddr2.xml.tgz js-ewddr2.txt.tgz
lsq_dg1.xml.tgz lsq_dg1.txt.tgz
pigeons.xml.tgz pigeons.txt.tgz
qa1.xml.tgz qa1.txt.tgz
QCP-10.xml.tgz QCP-10.txt.tgz
QCP-15.xml.tgz QCP-15.txt.tgz
QCP-20.xml.tgz QCP-20.txt.tgz
QCP-25.xml.tgz QCP-25.txt.tgz
QCPp-10.xml.tgz QCPp-10.txt.tgz
QCPp-15.xml.tgz QCPp-15.txt.tgz
QCPp-20.xml.tgz QCPp-20.txt.tgz
qk1.xml.tgz qk1.txt.tgz
QWH-10.xml.tgz QWH-10.txt.tgz
QWH-15.xml.tgz QWH-15.txt.tgz
QWH-20.xml.tgz QWH-20.txt.tgz
QWH-25.xml.tgz QWH-25.txt.tgz
QWHp-10.xml.tgz QWHp-10.txt.tgz
QWHp-15.xml.tgz QWHp-15.txt.tgz
ramsey3.xml.tgz ramsey3.txt.tgz
ramsey4.xml.tgz ramsey4.txt.tgz
random-3-20-20-60-632-forced.xml.tgz random-3-20-20-60-632-forced.txt.tgz
random-3-24-24-76-632-forced.xml.tgz random-3-24-24-76-632-forced.txt.tgz
random-3-28-28-93-632-forced.xml.tgz random-3-28-28-93-632-forced.txt.tgz
renault.xml.tgz renault.txt.tgz
rlfapGraphs.xml.tgz rlfapGraphs.txt.tgz
rlfapModGraphs.xml.tgz rlfapModGraphs.txt.tgz
rlfapModScens.xml.tgz rlfapModScens.txt.tgz
rlfapScens.xml.tgz rlfapScens.txt.tgz
rlfapScens11.xml.tgz rlfapScens11.txt.tgz
schurr.xml.tgz schurr.txt.tgz
TSP-20.xml.tgz TSP-20.txt.tgz
TSP-25.xml.tgz TSP-25.txt.tgz
[Back to Index]