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