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
normalized-bdd-21-133-18-78-1-ext
normalized-bdd-21-133-18-78-10-ext
normalized-bdd-21-133-18-78-11-ext
normalized-bdd-21-133-18-78-12-ext
normalized-bdd-21-133-18-78-13-ext
normalized-bdd-21-133-18-78-14-ext
normalized-bdd-21-133-18-78-15-ext
normalized-bdd-21-133-18-78-16-ext
normalized-bdd-21-133-18-78-17-ext
normalized-bdd-21-133-18-78-18-ext
normalized-bdd-21-133-18-78-19-ext
normalized-bdd-21-133-18-78-2-ext
normalized-bdd-21-133-18-78-20-ext
normalized-bdd-21-133-18-78-21-ext
normalized-bdd-21-133-18-78-22-ext
normalized-bdd-21-133-18-78-23-ext
normalized-bdd-21-133-18-78-24-ext
normalized-bdd-21-133-18-78-25-ext
normalized-bdd-21-133-18-78-26-ext
normalized-bdd-21-133-18-78-27-ext
normalized-bdd-21-133-18-78-28-ext
normalized-bdd-21-133-18-78-29-ext
normalized-bdd-21-133-18-78-3-ext
normalized-bdd-21-133-18-78-30-ext
normalized-bdd-21-133-18-78-31-ext
normalized-bdd-21-133-18-78-32-ext
normalized-bdd-21-133-18-78-33-ext
normalized-bdd-21-133-18-78-34-ext
normalized-bdd-21-133-18-78-35-ext
normalized-bdd-21-133-18-78-4-ext
normalized-bdd-21-133-18-78-5-ext
normalized-bdd-21-133-18-78-6-ext
normalized-bdd-21-133-18-78-7-ext
normalized-bdd-21-133-18-78-8-ext
normalized-bdd-21-133-18-78-9-ext

Processing failed