XCSP 2.1 Benchmarks

---

QG5ExtConvert

Lecoutre's category
ACAD (Academic instances) - Quasigroup Existence
Lecoutre's tooltips
Quasigroup existence problems determine the existence or non-existence of quasigroups of a given size with additional properties. Certain existence problems are of sufficient interest that a naming scheme has been invented for them. QG3.m problems are order m quasigroups for which (a*b)*(b*a) = a. QG4.m problems are order m quasigroups for which (b*a)*(a*b) = a. QG5.m problems are order m quasigroups for which ((b*a)*b)*b = a. QG6.m problems are order m quasigroups for which (a*b)*b = a*(a*b). QG7.m problems are order m quasigroups for which (b*a)*b = a*(b*a). For each of these problems, we additionally demand that the quasigroup is idempotent. That is, a*a=a for every element a. See prob003 at CSPLib. This series has been generated by Emmanuel Hebrard. Note that the global constraint element is involved in these instances.
Source
http://www.cril.univ-artois.fr/~lecoutre/research/benchmarks/QG5.tgz
Comments
None

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

Processing completed

Partially processed

Processing failed
quasigroup5-10
quasigroup5-9