2019 XCSP3 competition: mini-solver track (sequential and parallel solvers): solvers results per benchmarks

Result page for benchmark
CoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml

Jump to solvers results

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml
MD5SUM184e4a42ac40b5c8b3b859f3d89928ae
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark805.886
Satisfiable
(Un)Satisfiability was proved
Number of variables1680
Number of constraints768
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":1008},{"size":12,"count":672}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":672},{"degree":9,"count":1008}]
Minimum constraint arity8
Maximum constraint arity84
Distribution of constraint arities[{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}]
Optimization problemNO
Type of objective

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
(reference) PicatSAT 2019-09-12 (complete)4407824SAT 805.886 805.8
cosoco 2 (complete)4390051SAT 999.958 1000.05
cosoco 2.0 (complete)4408591SAT 1004.68 1004.7
cosoco 2.0 (complete)4397331SAT 1008.33 1008.35
miniBTD 19.06.16 (complete)4391851? (TO) 2400.06 2399.8
NACRE 1.0.5 (complete)4391651? (TO) 2400.07 2400.01
NACRE 1.0.5-Hybrid (complete)4391451? (TO) 2400.08 2400.3

Additionnal information

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

objective function:
Solution found:
<instantiation> <list> p[][] v[][]  </list> <values> 10 9 4 8 0 3 1 7 10 9 5 4 3 0 1 2 9 11 8 4 0 6 1 2 10 11 4 5 3 6 2 7 10 9 8 5 6 0 2 7
10 11 5 8 6 3 2 1 11 10 4 5 6 0 1 2 10 4 11 8 1 0 7 2 10 4 8 11 1 6 7 3 10 5 9 11 1 6 2 7 10 5 8 9 6 0 2 3 5 4 9 8 6 1 2 3 4 10 11 8 1 0 7 2
10 5 9 4 7 3 0 2 10 5 4 8 1 7 2 0 10 5 8 9 1 7 6 0 10 11 9 4 7 1 2 0 11 10 9 8 1 3 6 2 10 8 4 11 1 7 2 6 8 9 11 4 1 7 6 3 9 8 5 11 7 0 6 3 9
10 4 5 1 0 6 3 10 4 8 5 1 3 6 0 9 4 5 8 2 1 6 0 4 10 11 8 1 2 7 0 10 8 9 4 2 1 7 3 11 10 9 5 6 2 7 3 9 10 4 8 7 2 1 0 10 0 3 9 1 4 7 8 10 6
9 11 1 5 8 2 10 0 9 11 1 5 2 8 10 0 11 9 1 4 2 7 10 0 9 3 5 4 2 8 6 0 11 3 1 5 7 8 10 11 0 6 1 5 8 2 10 11 9 6 1 7 4 8 10 3 6 0 1 5 8 4 10 3
6 0 5 1 2 8 11 3 6 0 7 5 4 2 10 0 3 11 1 7 4 5 10 9 11 3 8 7 2 5 10 0 6 3 7 1 2 4 9 0 11 3 7 8 4 2 10 9 11 0 2 4 8 7 9 3 6 11 2 4 5 8 9 10
11 0 1 2 7 8 10 11 9 3 2 8 5 4 6 10 9 3 1 2 4 5 6 10 11 0 7 5 4 8 10 5 0 6 7 3 8 2 10 5 4 6 3 11 2 8 10 5 6 0 11 3 2 9 10 1 6 0 7 11 9 8 1
10 4 0 7 3 9 2 1 0 4 6 9 7 2 11 10 0 6 5 8 9 2 3 10 0 6 4 7 8 2 3 1 0 4 5 9 8 11 3 10 4 6 5 2 9 8 7 10 4 6 0 9 3 7 8 1 10 6 0 9 2 11 8 10 1
5 0 2 11 7 3 6 10 4 5 11 2 9 3 6 5 4 0 7 2 11 3 10 7 3 11 9 0 2 6 10 7 11 5 8 0 6 4 7 1 5 3 9 0 6 4 7 10 11 3 9 0 4 2 1 3 11 5 2 4 6 0 10 1
7 11 2 4 6 0 1 10 11 5 4 2 6 0 10 11 5 3 2 8 9 0 1 10 7 3 6 2 9 0 7 10 1 3 9 2 4 0 10 9 8 7 2 4 6 5 10 1 7 8 2 4 6 11 1 10 7 0 4 2 11 5 10 8
7 0 2 11 5 3 1 10 9 0 11 2 4 5 9 10 1 0 6 5 4 3 2 1 9 3 6 11 7 0 1 10 9 3 11 8 7 5 9 10 4 3 7 5 11 8 6 2 1 8 7 5 4 3  4 6 7 5 2 2 4 7 3 1 0
1 5 6 7 4 3 2 5 6 3 1 0 0 4 6 7 5 3 3 5 6 2 0 0 1 5 6 6 4 2 3 5 7 3 0 0 1 5 6 6 5 3 3 4 7 2 1 0 0 5 7 6 5 3 2 4 6 3 0 0 1 5 6 7 5 2 3 4 6 3
0 1 0 5 4 7 6 1 0 5 6 3 3 0 2 4 4 7 7 1 1 5 6 2 2 0 3 5 4 6 6 0 1 5 7 3 2 0 3 5 4 6 7 1 1 4 7 2 3 0 2 5 5 6 7 1 0 4 6 3 2 0 3 5 4 7 7 0 1 4
6 3 2 1 2 6 4 7 5 3 1 7 4 2 2 0 1 7 4 6 4 2 1 7 5 3 2 0 1 7 4 6 5 3 1 6 5 2 3 0 0 7 5 6 5 3 0 6 4 3 2 0 1 7 4 7 5 2 1 6 4 3 2 1 0 5 4 6 6 2
3 7 5 1 0 0 3 5 4 6 7 3 3 6 5 0 1 0 2 5 5 6 7 3 2 6 4 1 0 0 3 5 4 7 7 2 3 6 4 1 0 1 2 7 4 4 5 1 3 6 7 2 1 0 2 7 5 4 5 1 2 6 6 3 0 0 3 7 4 5
5 0 3 6 6 3 0 1 2 7 5 4 7 3 2 4 6 1 2 0 1 7 4 5 7 2 3 4 6 1 2 1 0 7 6 5 7 2 1 4 4 3 0 1 2 1 4 7 2 5 4 1 6 7 3 0 2 0 4 7 3 5 5 1 6 6 2 0 3 1
4 6 2 4 5 1 7 7 2 0 3 1 4 6 3 5 5 0 7 6 3 0 2 1 5 6 3 5 4 0 6 7 2 0 3 1 4 7 3 4 5 0 6 7 2 1 2 2 4 7 1 7 5 3 4 6 2 0 1 3 4 6 0 6 5 3 5 7 2 0
1 3 4 6 1 7 5 2 5 6 3 0 0 3 5 6 1 7 4 2 4 7 2 0 1 3 4 7 1 6 5 2 4 7 2 1 0 1 4 6 2 6 7 3 5 5 0 0 3 1 4 6 3 7 7 2 5 4 1 0 2 1 5 6 3 7 6 2 4 5
0 0 3 1 4 7 3 6 7 2 4 5 0 1 2 3 4 4 1 5 7 2 7 6 1 0 2 3 5 4 1 5 6 2 6 7 0 0 3 3 4 5 1 4 7 2 6 7 0 1 2 3 5 4 3 7 6 0 6 5 2 0 1 3 4 5 3 6 7 0
6 5 2 1 0 3 6 5 3 6 5 0 4 7 0 1 2 2 0 7 5 3 1 3 4 6 6 0 5 3 0 6 4 2 1 3 5 7 6 0 5 3 0 6 5 3 1 2 5 6 7 0 4 3 1 6 5 3 0 2 4 7 6 0 5 3 0 7 5 2
1 2 4 7 6 1 4 1 0 6 6 2 3 3 5 5 4 0 7 1 0 6 7 3 3 2 5 4 5 0 6 1 1 6 7 3 2 2 4 5 4 0 7 1 0 7 7 2 3 2 4 5 4 1 6 3 0 4 5 1 3 2 7 6 5 0 6 3 1 4
5 1 2 2 6 7 4 0 7 3 0 5 5 0 3 2 6 7 4 1 6 3 1 4 7 3 2 0 6 5 6 0 5 3 0 5 7 2 3 0 6 5 6 1 4 3 2 5 7 2 1 0 4 7 4 1 6 5 0 6 2 6 3 7 1 5 4 0 3 5
0 6 3 7 3 6 1 4 5 0 2 5 1 6 3 7 2 6 0 5 4 0 3 5 0 7 3 6 3 6 0 5 4 1 2 7 0 4 1 5 3 6 3 6 5 0 2 7 1 4 1 5 2 6 2 7 4 0 3 7 0 5 1 4 3 6 2 7 4 1
2 7 1 4 3 7 2 4 2 5 6 0 1 7 0 5 3 6 3 4 2 5 6 1 0 7 2 5 3 6 1 4 0 7 4 1 2 3 0 4 5 5 7 6 3 2 1 0 6 3 1 4 5 5 6 6 2 3 0 0 7 3 0 5 5 4 7 6 2 3
0 1 6 3 1 4 7 7 6 4 2 1 2 0 5 3 0 5 7 6 7 4 2 1 2 1 4 3 2 5 7 6 5 4 0 3 0 1 6 7 1 0 3 3 6 4 6 5 2 0 5 7 0 1 3 2 7 4 6 5 2 1 4 7 2 1 3 2 5 4
4 7 0 1 6 7 2 1 7 6 5 0 4 3 4 1 2   </values> </instantiation>