XCSP 2.1 Benchmarks

---

rand-3-20-20-fcd

Lecoutre's category
RAND (Random instances) - Model RB
Lecoutre's tooltips
Here are 12 sets of 50 random CSP instances of model RB studied in: [Xu-Boussemart-Hemery-Lecoutre, A simple model to generate hard satisfiable instances, IJCAI'05]
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/rand-3-20-20-fcd.tgz
Comments
None

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

Processing completed
normalized-rand-3-20-20-60-632-fcd-1-ext
normalized-rand-3-20-20-60-632-fcd-10-ext
normalized-rand-3-20-20-60-632-fcd-11-ext
normalized-rand-3-20-20-60-632-fcd-12-ext
normalized-rand-3-20-20-60-632-fcd-13-ext
normalized-rand-3-20-20-60-632-fcd-14-ext
normalized-rand-3-20-20-60-632-fcd-15-ext
normalized-rand-3-20-20-60-632-fcd-16-ext
normalized-rand-3-20-20-60-632-fcd-17-ext
normalized-rand-3-20-20-60-632-fcd-18-ext
normalized-rand-3-20-20-60-632-fcd-19-ext
normalized-rand-3-20-20-60-632-fcd-2-ext
normalized-rand-3-20-20-60-632-fcd-20-ext
normalized-rand-3-20-20-60-632-fcd-21-ext
normalized-rand-3-20-20-60-632-fcd-22-ext
normalized-rand-3-20-20-60-632-fcd-23-ext
normalized-rand-3-20-20-60-632-fcd-24-ext
normalized-rand-3-20-20-60-632-fcd-25-ext
normalized-rand-3-20-20-60-632-fcd-26-ext
normalized-rand-3-20-20-60-632-fcd-27-ext
normalized-rand-3-20-20-60-632-fcd-28-ext
normalized-rand-3-20-20-60-632-fcd-29-ext
normalized-rand-3-20-20-60-632-fcd-3-ext
normalized-rand-3-20-20-60-632-fcd-30-ext
normalized-rand-3-20-20-60-632-fcd-31-ext
normalized-rand-3-20-20-60-632-fcd-32-ext
normalized-rand-3-20-20-60-632-fcd-33-ext
normalized-rand-3-20-20-60-632-fcd-34-ext
normalized-rand-3-20-20-60-632-fcd-35-ext
normalized-rand-3-20-20-60-632-fcd-36-ext
normalized-rand-3-20-20-60-632-fcd-37-ext
normalized-rand-3-20-20-60-632-fcd-38-ext
normalized-rand-3-20-20-60-632-fcd-39-ext
normalized-rand-3-20-20-60-632-fcd-4-ext
normalized-rand-3-20-20-60-632-fcd-40-ext
normalized-rand-3-20-20-60-632-fcd-41-ext
normalized-rand-3-20-20-60-632-fcd-42-ext
normalized-rand-3-20-20-60-632-fcd-43-ext
normalized-rand-3-20-20-60-632-fcd-44-ext
normalized-rand-3-20-20-60-632-fcd-45-ext
normalized-rand-3-20-20-60-632-fcd-46-ext
normalized-rand-3-20-20-60-632-fcd-47-ext
normalized-rand-3-20-20-60-632-fcd-48-ext
normalized-rand-3-20-20-60-632-fcd-49-ext
normalized-rand-3-20-20-60-632-fcd-5-ext
normalized-rand-3-20-20-60-632-fcd-50-ext
normalized-rand-3-20-20-60-632-fcd-6-ext
normalized-rand-3-20-20-60-632-fcd-7-ext
normalized-rand-3-20-20-60-632-fcd-8-ext
normalized-rand-3-20-20-60-632-fcd-9-ext

Partially processed

Processing failed