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