Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-19.xml |
MD5SUM | 3875648f967e99deb98809a056dae84c |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 32.512 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 2 |
Number of domains | 1 |
Minimum domain size | 30 |
Maximum domain size | 30 |
Distribution of domain sizes | [{"size":30,"count":900}] |
Minimum variable degree | 1 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":1,"count":374},{"degree":2,"count":526}] |
Minimum constraint arity | 526 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":526,"count":1},{"arity":900,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function:<instantiation> <list> x[][] </list> <values> 24 17 9 1 25 21 13 10 15 5 11 7 29 2 23 4 20 16 3 22 19 28 6 0 26 18 12 14 8 27 3 11 27 13 7 2 18 12 6 4 21 24 26 28 0 14 16 29 15 17 9 25 22 19 23 5 10 20 1 8 6 1 25 24 16 5 21 3 19 12 8 17 23 0 22 10 15 26 20 9 28 4 13 7 2 27 29 11 14 18 1 16 8 26 29 3 25 2 12 11 22 27 6 24 9 28 23 4 14 13 5 7 10 15 18 21 0 17 20 19 29 10 15 18 22 6 19 28 8 2 13 3 25 23 4 0 24 20 1 11 26 21 12 17 14 9 5 7 27 16 8 19 2 10 13 20 15 17 22 21 16 18 0 4 29 9 3 6 25 1 24 27 28 14 7 12 26 23 11 5 19 29 16 0 28 26 14 23 9 25 12 15 3 20 21 7 27 17 2 18 8 6 1 22 13 24 11 10 5 4 20 7 10 17 26 4 24 0 29 19 14 2 8 18 27 16 22 15 28 5 21 13 11 6 25 23 9 3 12 1 7 2 14 20 18 8 5 6 0 16 15 23 22 25 12 17 28 13 27 26 10 3 21 11 29 4 1 24 19 9 0 26 23 3 19 25 10 9 14 18 29 6 20 11 13 15 1 27 21 12 17 22 4 28 24 16 8 5 2 7 21 0 20 11 2 9 6 8 13 23 5 29 27 22 7 25 17 24 19 3 12 1 14 26 16 28 18 4 15 10 2 21 24 14 11 29 26 13 5 15 10 25 9 7 16 6 12 28 23 27 22 20 18 8 17 1 19 0 4 3 18 14 0 22 21 27 8 24 23 1 6 16 15 10 20 12 19 5 17 4 7 26 25 2 28 13 3 29 9 11 14 13 1 28 8 16 23 20 2 6 19 9 4 27 18 22 29 3 24 0 25 11 5 10 21 26 7 15 17 12 10 15 12 27 3 0 29 18 17 22 1 21 11 5 28 24 6 2 7 25 14 8 20 13 9 19 4 16 23 26 15 8 26 29 4 11 12 19 25 7 28 1 13 16 14 3 21 22 6 23 20 0 9 5 27 10 24 2 18 17 12 25 18 23 14 10 9 5 21 29 20 28 17 3 19 11 26 8 4 7 13 2 0 27 1 15 16 6 24 22 13 24 7 5 0 22 11 15 16 3 27 20 12 9 1 26 14 25 18 28 4 19 8 23 10 6 17 21 29 2 26 4 6 8 20 28 27 22 18 9 0 10 16 17 3 1 2 7 12 19 15 5 24 29 11 14 23 25 13 21 9 6 4 16 27 15 7 21 28 8 17 5 10 26 2 18 11 14 13 29 3 12 23 20 19 0 22 1 25 24 11 22 17 12 10 13 3 29 27 20 4 26 14 8 24 2 7 21 5 16 1 23 19 9 0 25 28 18 6 15 23 3 13 2 5 19 1 16 4 27 26 11 18 12 8 29 25 9 10 20 0 15 17 24 6 7 14 22 21 28 4 23 29 7 12 18 17 1 26 28 24 8 19 15 6 27 10 0 11 21 2 14 16 3 5 20 13 9 22 25 17 5 28 9 23 24 4 26 1 0 7 14 2 6 25 19 13 12 8 15 11 10 29 18 3 22 21 27 16 20 27 28 11 15 9 1 22 25 24 14 3 13 5 29 26 20 4 18 0 2 16 17 7 21 12 8 6 19 10 23 16 20 21 19 24 17 28 7 3 10 18 12 1 13 5 23 0 11 29 6 27 9 15 4 22 2 25 8 26 14 28 9 5 6 1 12 16 27 10 26 2 4 7 14 11 21 18 19 22 8 23 24 3 25 15 17 20 13 0 29 22 18 3 25 17 14 2 4 11 13 9 19 28 21 10 8 5 23 26 24 6 16 27 1 20 29 15 12 7 0 5 27 22 4 15 23 20 14 7 24 25 0 21 19 17 13 9 1 16 10 29 18 26 12 8 11 2 28 3 6 25 12 19 21 6 7 0 11 20 17 23 22 24 1 15 5 8 10 9 14 18 29 2 16 4 3 27 26 28 13 </values> </instantiation>