2018 XCSP3 competition: mini-solvers track: solvers results per benchmarks

Result page for benchmark
Langford/
LangfordBin-08_c18.xml

General information on the benchmark

Results of the different solvers on this benchmark

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

<instantiation> <list> v[0] v[1] v[2] v[3] v[4] v[5] v[6] v[7] v[8] v[9] v[10] v[11] v[12] v[13] v[14] v[15] p[0] p[1] p[2] p[3] p[4] p[5]
p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] </list> <values> 8 2 7 3 2 6 4 3 5 8 7 4 6 1 5 1 15 13 4 1 7 3 11 6 14 8 12 5 10 2 9
0 </values> </instantiation>