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