Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h374-05.xml |
MD5SUM | 28a405c699ff9e569ded15e71872b7af |
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 | 10.4884 |
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 15 18 3 7 4 6 19 0 9 11 28 14 13 16 25 12 5 23 2 1 27 22 26 21 29 20 8 10 4 6 5 2 23 13 27 16 24 7 3 29 12 8 19 22 1 28 0 20 17 25 26 9 10 11 14 15 21 18 13 21 10 7 11 3 14 26 22 17 23 8 1 29 16 18 20 0 12 15 4 6 19 27 28 9 25 24 5 2 8 16 12 3 26 4 15 2 14 19 17 27 25 28 11 24 21 23 1 10 6 5 22 13 7 29 18 9 20 0 0 10 23 22 13 16 20 8 2 11 26 24 5 21 14 27 12 17 9 7 19 3 18 29 15 25 4 1 6 28 23 5 13 28 15 8 26 21 4 12 29 9 11 18 27 3 10 20 14 1 22 24 7 19 16 2 6 25 0 17 10 19 9 26 16 15 21 0 29 23 2 28 24 25 17 8 27 5 13 22 18 12 14 4 1 7 3 6 11 20 11 23 21 24 12 6 18 1 0 22 16 2 10 4 5 17 9 26 20 13 28 19 29 14 25 3 8 7 15 27 14 4 6 13 2 9 24 22 20 1 19 16 7 10 25 12 29 18 15 5 0 17 11 8 3 28 26 27 23 21 9 7 17 11 27 21 25 12 3 13 6 14 18 0 2 29 16 8 22 24 15 28 23 5 19 26 20 10 4 1 15 22 29 14 9 5 17 27 12 20 8 21 6 26 3 11 28 1 19 25 13 18 16 2 23 4 7 0 10 24 19 15 26 0 6 29 11 9 25 18 13 1 2 20 8 28 3 7 23 16 21 27 5 12 4 17 10 22 24 14 17 2 8 25 0 23 5 18 6 28 1 15 22 7 20 10 14 13 3 11 9 16 24 26 12 19 27 21 29 4 18 1 25 23 7 20 0 15 16 4 11 26 21 9 24 5 8 3 2 29 10 22 28 6 17 27 12 13 14 19 5 18 11 21 20 12 13 19 7 6 25 4 26 17 0 15 2 10 8 9 27 14 3 1 29 16 24 23 28 22 27 20 4 29 25 10 2 5 23 21 14 7 16 1 9 0 18 6 28 26 11 13 17 24 8 15 22 19 3 12 1 3 16 15 19 26 10 25 28 9 5 0 14 22 18 4 24 27 7 6 8 11 20 23 21 12 13 2 17 29 6 0 3 8 21 24 23 29 18 25 7 22 4 19 26 13 15 16 27 2 5 9 10 28 14 20 17 12 1 11 7 25 27 9 18 1 28 17 13 14 10 19 15 11 12 6 22 24 26 0 20 4 21 3 5 23 2 29 16 8 26 14 20 19 10 2 16 4 15 29 22 3 0 13 28 21 23 9 24 17 12 8 6 25 11 18 1 5 27 7 29 24 0 10 5 14 7 3 27 15 21 20 8 2 6 26 19 22 16 18 25 23 4 11 9 1 28 17 12 13 22 13 1 20 28 25 3 24 5 8 12 17 9 23 10 2 7 14 21 19 29 26 15 16 27 0 11 4 18 6 2 11 28 27 4 22 12 14 10 5 15 25 13 6 23 19 26 29 17 21 24 20 1 7 0 8 16 18 9 3 28 26 24 4 14 11 29 23 17 16 18 6 3 12 15 9 13 19 25 27 1 10 2 0 20 22 21 8 7 5 21 12 14 16 1 28 6 13 9 27 20 10 17 15 22 7 5 11 4 8 23 29 25 18 2 24 0 3 19 26 20 9 2 12 29 17 19 11 21 24 4 23 27 3 1 25 6 15 18 28 7 0 8 10 22 14 5 26 13 16 12 28 19 5 22 18 1 20 8 10 0 13 29 27 7 14 17 2 11 4 3 21 9 15 24 6 23 16 26 25 25 27 7 17 24 0 8 10 11 2 28 12 19 16 29 1 4 21 6 3 26 15 13 20 18 5 9 14 22 23 3 8 18 6 17 19 22 28 1 26 27 5 23 24 4 20 0 25 29 14 16 7 12 21 13 10 15 11 2 9 16 29 22 1 8 27 9 7 26 3 24 18 20 5 21 23 11 4 10 12 14 2 0 17 6 13 19 28 25 15 </values> </instantiation>