Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h375-07.xml |
MD5SUM | b197b36061edf780c6549c887861e4b6 |
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 | 9.08383 |
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":375},{"degree":2,"count":525}] |
Minimum constraint arity | 525 |
Maximum constraint arity | 900 |
Distribution of constraint arities | [{"arity":525,"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> 21 14 18 11 22 23 20 27 12 28 0 19 7 4 10 25 1 9 24 8 17 2 6 16 15 5 29 26 13 3 3 10 11 4 23 17 22 8 16 19 20 29 21 26 7 24 0 13 25 9 28 18 14 6 27 12 5 2 1 15 19 0 4 14 11 24 13 23 22 26 27 5 1 9 25 6 16 18 15 21 20 12 2 17 8 3 10 29 7 28 11 8 12 24 28 5 7 26 9 16 23 6 18 2 27 17 29 3 10 22 25 15 1 19 13 4 14 0 21 20 23 26 22 13 10 14 29 15 25 5 4 1 6 7 16 9 20 24 21 12 27 8 28 0 2 18 19 11 3 17 2 16 26 9 27 20 1 6 19 29 7 4 3 0 11 5 22 17 13 15 18 28 24 23 12 14 8 21 25 10 10 20 27 7 5 1 8 25 23 3 12 24 19 15 28 26 21 14 17 18 13 4 9 11 0 29 16 22 2 6 13 25 6 29 18 16 3 24 2 1 22 21 9 14 5 4 19 26 12 23 8 17 11 27 28 20 7 15 10 0 4 22 2 26 12 8 15 5 0 11 18 16 20 28 17 23 24 25 9 7 10 27 29 13 6 1 3 19 14 21 16 5 8 3 14 21 11 12 26 18 17 2 0 23 20 22 25 29 7 19 1 24 27 28 10 15 4 9 6 13 15 28 5 27 24 22 10 29 18 8 21 14 2 20 9 19 13 0 11 17 16 3 23 26 25 6 12 7 4 1 27 3 29 0 25 4 17 18 5 13 2 12 15 19 22 11 28 16 6 20 14 7 10 8 21 23 9 1 26 24 5 15 20 8 6 7 23 0 29 24 16 11 17 21 26 1 9 4 2 14 12 13 3 25 18 27 28 10 19 22 17 6 9 23 7 10 24 16 3 12 5 25 28 1 15 14 18 19 20 27 22 26 21 4 29 11 2 13 0 8 8 24 0 1 3 28 12 21 17 6 15 27 26 11 14 29 5 7 19 16 9 23 20 10 4 2 13 18 22 25 14 9 19 21 17 0 4 13 28 7 1 15 25 16 6 10 8 27 23 29 11 20 18 24 3 22 26 12 5 2 26 19 23 6 1 18 5 17 27 15 14 22 24 25 2 21 3 12 8 4 7 29 13 20 11 10 0 28 9 16 20 18 21 2 9 29 0 4 14 25 10 28 8 22 3 16 17 11 27 13 6 1 19 12 5 26 15 24 23 7 12 17 7 25 16 15 28 10 20 22 26 13 14 6 21 18 2 5 3 11 0 19 4 29 1 9 24 27 8 23 1 27 16 12 26 9 25 3 15 21 6 17 4 8 13 2 14 10 28 0 19 11 22 7 20 24 23 5 18 29 28 23 14 17 4 13 18 2 11 20 24 10 5 12 19 8 6 21 22 26 3 25 15 9 7 0 1 16 29 27 9 7 15 18 29 6 19 22 10 14 28 26 13 24 23 20 12 2 4 3 21 0 5 1 16 8 25 17 27 11 29 2 10 16 13 27 9 1 21 17 25 0 23 3 18 7 11 20 5 24 4 14 12 22 26 28 6 8 15 19 18 4 25 15 21 2 6 19 13 27 8 9 12 10 29 0 23 1 16 28 24 22 26 5 17 7 20 3 11 14 6 21 13 19 20 11 26 14 1 2 9 8 16 17 0 15 27 28 29 5 23 10 7 3 24 25 22 4 12 18 0 1 28 10 19 12 21 7 24 9 29 3 11 18 4 13 15 22 14 25 5 16 8 2 23 17 27 6 20 26 24 13 3 5 8 25 14 9 7 10 11 20 29 27 1 12 26 6 0 2 15 21 16 18 22 19 17 23 28 4 7 11 1 20 2 3 16 28 6 0 19 18 22 5 8 27 4 23 26 10 29 9 17 15 14 13 21 25 24 12 25 29 24 22 15 19 2 20 4 23 3 7 27 13 12 28 10 8 18 1 26 6 0 21 9 16 11 14 17 5 22 12 17 28 0 26 27 11 8 4 13 23 10 29 24 3 7 15 1 6 2 5 25 14 19 21 18 20 16 9 </values> </instantiation>