XCSP 2.1 Benchmarks

---

frb50-23

Lecoutre's category
RAND (Random instances) - Model RB
Lecoutre's tooltips
Here are 8 sets of 5(*2) random CSP instances of model RB forced to be satisfiable. These instances are particularly interesting as they are hard to solve. For more information about model RB and forced satisfiable instances, see: [Xu-Li, Exact phase transitions in random constraint satisfaction problems, Journal of Artificial Intelligence Research 12, 2000] [Xu-Boussemart-Hemery-Lecoutre, A simple model to generate hard satisfiable instances, IJCAI'05] For more information about these instances, see this link. Note that for each instance, there is a file representing the original instance and another one representing the same instance after merging constraints with similar scope.[Xu-Li, Exact phase transitions in random constraint satisfaction problems, Journal of Artificial Intelligence Research 12, 2000] [Xu-Boussemart-Hemery-Lecoutre, A simple model to generate hard satisfiable instances, IJCAI'05] For more information about these instances, see this link. Note that for each instance, there is a file representing the original instance and another one representing the same instance after merging constraints with similar scope.
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/frb50-23.tgz
Comments
None

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

Processing completed

Partially processed
normalized-frb50-23-1-ext
normalized-frb50-23-1-mgd-ext
normalized-frb50-23-2-ext
normalized-frb50-23-2-mgd-ext
normalized-frb50-23-3-ext
normalized-frb50-23-3-mgd-ext
normalized-frb50-23-4-ext
normalized-frb50-23-4-mgd-ext
normalized-frb50-23-5-ext
normalized-frb50-23-5-mgd-ext

Processing failed