XCSP 2.1 Benchmarks

---

os-gp-satExtConvert

Lecoutre's category
PATT (Patterned Instances) - Open-Shop
Lecoutre's tooltips
Two series of instances proposed by Naoyuki Tamura for the 2008 CSP Solver Competition (actually, the sat instances were proposed by Naoyuki Tamura for the 2006 CSP Solver Competition and corresponds to the old series). These series corresponds to open-shop instances developed by Christelle Guéret and Christian Prin. See this link . Problems are translated into CSP instances for the optimal makespans (sat instances) and the optimal makespan - 1 (unsat instances).
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/os-gp-sat.tgz
Comments
None

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

Processing completed

Partially processed

Processing failed
gp10-01-1093-ext
gp10-02-1097-ext
gp10-03-1081-ext
gp10-04-1077-ext
gp10-05-1071-ext
gp10-06-1071-ext
gp10-07-1079-ext
gp10-08-1093-ext
gp10-09-1112-ext
gp10-10-1092-ext