Name | LatinSquare/LatinSquare-m1-gp/ qwh-o30-h375-19.xml |
MD5SUM | 2072ed2e4af5bca545229f959ebdc074 |
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 | 6.57156 |
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 id='sol1' type='solution'> <list> x[][] </list> <values> 18 13 10 15 0 27 7 8 23 9 21 17 4 12 26 24 1 19 16 25 11 5 20 28 14 29 6 22 3 2 21 14 22 6 9 3 2 24 29 5 13 28 18 11 0 10 26 16 23 12 1 19 15 8 20 7 17 4 25 27 10 2 9 16 29 24 20 14 5 21 26 12 15 1 17 18 6 8 11 7 23 25 19 3 22 4 27 13 28 0 26 19 12 20 10 0 3 18 2 24 14 23 21 5 15 1 7 9 6 29 28 13 4 17 11 16 8 27 22 25 0 25 20 22 23 28 13 16 18 4 12 21 6 17 27 9 29 14 1 10 19 26 11 24 15 3 5 8 2 7 14 18 28 5 12 26 0 2 17 11 8 13 19 16 21 29 27 10 24 20 3 4 6 23 1 15 9 25 7 22 22 28 6 11 1 4 16 7 9 0 25 20 8 10 24 19 3 21 15 5 26 17 2 13 29 23 18 12 27 14 17 26 24 3 16 7 4 1 27 10 22 8 20 25 19 0 15 2 29 18 14 9 28 12 23 21 11 6 5 13 2 23 0 18 21 8 6 11 22 16 5 25 17 13 1 15 14 26 3 9 29 12 27 10 24 28 20 7 4 19 13 0 2 10 8 15 14 21 24 28 16 4 12 7 11 27 18 25 26 23 20 29 17 22 6 5 3 1 19 9 11 9 7 0 26 6 12 23 1 25 20 27 14 3 10 28 16 29 19 24 4 2 13 5 18 8 22 17 15 21 25 8 18 17 15 13 5 26 28 19 2 14 1 9 29 4 24 11 22 21 0 6 23 16 7 27 10 3 20 12 4 12 27 26 19 21 24 25 16 29 10 1 7 15 14 11 20 13 5 0 17 28 22 9 3 18 23 2 6 8 6 15 25 27 24 20 17 4 13 14 3 29 16 2 18 12 28 23 7 22 8 21 5 19 10 0 1 11 9 26 20 4 8 24 27 12 28 19 7 18 1 2 11 21 22 6 13 3 9 16 15 23 10 25 26 14 0 5 17 29 29 7 17 8 6 5 15 9 10 23 11 26 24 27 28 13 21 1 0 19 25 14 12 20 2 22 4 18 16 3 7 3 1 14 20 25 29 27 19 17 24 6 5 0 8 22 9 15 2 4 18 16 26 11 12 13 21 28 23 10 24 22 13 12 11 19 21 6 25 27 28 10 9 20 23 8 0 5 4 3 2 15 7 14 17 1 16 29 26 18 28 17 5 4 25 29 11 20 12 15 19 24 23 26 9 3 22 6 27 8 7 10 14 1 0 2 13 21 18 16 8 21 3 13 17 22 9 29 14 1 7 18 27 6 2 25 12 4 28 11 16 20 0 15 19 24 26 23 10 5 15 27 21 19 13 23 18 22 11 6 17 3 28 8 12 7 10 0 25 14 5 1 16 2 4 9 24 26 29 20 27 1 4 23 7 16 26 10 6 20 9 11 0 29 3 17 5 22 13 2 21 24 8 18 25 19 14 15 12 28 1 10 29 21 28 9 22 17 15 3 23 5 25 4 16 14 19 24 20 13 6 7 18 26 27 12 2 0 8 11 12 11 16 2 5 18 10 3 8 7 15 19 26 24 13 23 4 28 14 1 27 22 29 0 9 6 25 20 21 17 3 24 23 29 2 14 8 15 4 26 6 0 22 18 20 5 17 7 12 27 10 11 9 21 28 25 19 16 13 1 5 20 11 28 4 1 19 12 21 22 29 15 10 23 25 16 2 17 18 6 9 8 3 27 13 26 7 14 0 24 23 29 19 25 18 2 1 28 26 13 0 16 3 22 6 21 11 20 8 17 12 27 24 7 5 10 15 9 14 4 16 5 26 1 22 10 23 13 3 12 27 9 29 14 7 2 8 18 17 15 24 0 25 4 21 20 28 19 11 6 19 16 15 9 14 17 27 5 0 2 18 7 13 28 4 20 25 12 21 26 22 3 1 6 8 11 29 10 24 23 9 6 14 7 3 11 25 0 20 8 4 22 2 19 5 26 23 27 10 28 13 18 21 29 16 17 12 24 1 15 </values> </instantiation>