XCSP 2.1 Benchmarks

---

bddSmall

Lecoutre's category
QRND (Quasi-random instances) - BDD
Lecoutre's tooltips
These series have been generated by Kenil Cheng and Roland Yap in the context of the paper [Cheng and Yap, Maintaining Generalized Arc Consistency on ad-hoc n-ary Boolean constraints, ECAI'06]. The first series contains small BDD constraints and the second one large ones (a BDD constraint is a random extensional constraint built from a binary decision diagram).
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/bddSmall.tgz
Comments
None

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

Processing completed

Partially processed
bdd-21-133-18-78-10_ext
bdd-21-133-18-78-11_ext
bdd-21-133-18-78-12_ext
bdd-21-133-18-78-13_ext
bdd-21-133-18-78-14_ext
bdd-21-133-18-78-15_ext
bdd-21-133-18-78-16_ext
bdd-21-133-18-78-17_ext
bdd-21-133-18-78-18_ext
bdd-21-133-18-78-19_ext
bdd-21-133-18-78-1_ext
bdd-21-133-18-78-20_ext
bdd-21-133-18-78-21_ext
bdd-21-133-18-78-22_ext
bdd-21-133-18-78-23_ext
bdd-21-133-18-78-24_ext
bdd-21-133-18-78-25_ext
bdd-21-133-18-78-26_ext
bdd-21-133-18-78-27_ext
bdd-21-133-18-78-28_ext
bdd-21-133-18-78-29_ext
bdd-21-133-18-78-2_ext
bdd-21-133-18-78-30_ext
bdd-21-133-18-78-31_ext
bdd-21-133-18-78-32_ext
bdd-21-133-18-78-33_ext
bdd-21-133-18-78-34_ext
bdd-21-133-18-78-35_ext
bdd-21-133-18-78-3_ext
bdd-21-133-18-78-4_ext
bdd-21-133-18-78-5_ext
bdd-21-133-18-78-6_ext
bdd-21-133-18-78-7_ext
bdd-21-133-18-78-8_ext
bdd-21-133-18-78-9_ext

Processing failed