XCSP 2.1 Benchmarks

---

composed-75-1-40

Lecoutre's category
QRND (Quasi-random instances) - Composed
Lecoutre's tooltips
Here are 9 classes of 10 random CSP instances such that each generated instance is composed of a main (under-constrained, here) fragment and some auxiliary fragments, each of which being grafted to the main one by introducing some binary constraints. Such classes have been introduced in: [Lecoutre-Boussemart-Hemery, Backjump-based techniques versus conflict-directed heuristics, ICTAI'04]. Related instances have been experimented in [Jussien-Debruyne-Boizumault, Maintaining arc consistency within dynamic backtracking, CP'00]
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/composed-75-1-40.tgz
Comments
None

Number of instances: 10 (0 processed, 10 partially processed, 0 failed)

Processing completed

Partially processed
composed-75-1-40-0_ext
composed-75-1-40-1_ext
composed-75-1-40-2_ext
composed-75-1-40-3_ext
composed-75-1-40-4_ext
composed-75-1-40-5_ext
composed-75-1-40-6_ext
composed-75-1-40-7_ext
composed-75-1-40-8_ext
composed-75-1-40-9_ext

Processing failed