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