XCSP 2.1 Benchmarks

---

dag-half

Lecoutre's category
MDD half
Lecoutre's tooltips
The series half-n25-d5-e56-r7 consists of 25 random CSPs with semi-structural constraints. Each instance has 25 variables whose domain has 5 values; there are 56 7-ary positive constraints. To create a constraint, we first build an MDD in a post-order manner (sub-MDDs are made before the root node) - with 50% chance, a previously created sub-MDD is reused; otherwise, a new sub-MDD is created by expanding the current node recursively. The terminals are either true or false (50-50). In the second step, we enumerate all paths in the MDD to form the list of solutions (supports) of the extensional constraint. The series rand-n23-d3-e16-r15-t150000 consists of 25 random CSPs. Each instance has 23 variables whose domain has 3 values; there are 16 15-ary positive constraints with 150000 randomly generated solutions. Constraints may share same scope (didn't check). No structure was injected. These series have been submitted by kenil Cheng and Roland Yap to the 2008 CSP solver competition.
Source
http://www.cril.univ-artois.fr/~lecoutre/benchmarks2/half.tgz
Comments
None

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

Processing completed
normalized-half-n25-d5-e56-r7-1
normalized-half-n25-d5-e56-r7-10
normalized-half-n25-d5-e56-r7-11
normalized-half-n25-d5-e56-r7-12
normalized-half-n25-d5-e56-r7-13
normalized-half-n25-d5-e56-r7-14
normalized-half-n25-d5-e56-r7-15
normalized-half-n25-d5-e56-r7-16
normalized-half-n25-d5-e56-r7-17
normalized-half-n25-d5-e56-r7-18
normalized-half-n25-d5-e56-r7-19
normalized-half-n25-d5-e56-r7-2
normalized-half-n25-d5-e56-r7-20
normalized-half-n25-d5-e56-r7-21
normalized-half-n25-d5-e56-r7-22
normalized-half-n25-d5-e56-r7-23
normalized-half-n25-d5-e56-r7-24
normalized-half-n25-d5-e56-r7-25
normalized-half-n25-d5-e56-r7-3
normalized-half-n25-d5-e56-r7-4
normalized-half-n25-d5-e56-r7-5
normalized-half-n25-d5-e56-r7-6
normalized-half-n25-d5-e56-r7-7
normalized-half-n25-d5-e56-r7-8
normalized-half-n25-d5-e56-r7-9

Partially processed

Processing failed