| Name | MagicSquare/MagicSquare-sum-s1/ MagicSquare-13-sum.xml |
| MD5SUM | 507ff1916128830fd6a67d5c849b681a |
| 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 | 16.6118 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 169 |
| Number of constraints | 29 |
| Number of domains | 1 |
| Minimum domain size | 169 |
| Maximum domain size | 169 |
| Distribution of domain sizes | [{"size":169,"count":169}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":3,"count":144},{"degree":4,"count":24},{"degree":5,"count":1}] |
| Minimum constraint arity | 13 |
| Maximum constraint arity | 169 |
| Distribution of constraint arities | [{"arity":13,"count":28},{"arity":169,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"allDifferent","count":1},{"type":"sum","count":28}] |
| 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 type='solution'> <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] </list> <values>24 139 154 121 116 131 36 6 67 79 126 48 58 108 64 157 124 98 94 129 5 65 27 118 46 70 153 12 23 119 141 25 151 4 158 120 18 21 160 56 34 1 140 38 143 26 104 161 85 149 166 2 88 128 53 51 22 87 95 152 137 50 52 130 60 37 114 42 35 100 167 101 117 39 115 40 127 71 41 106 47 28 89 125 148 112 44 72 45 168 80 9 165 13 77 109 3 164 169 10 93 138 8 147 150 43 156 81 33 76 74 30 54 96 82 133 97 110 163 20 132 111 17 15 144 145 11 19 134 84 136 16 162 102 92 78 31 7 99 135 123 49 75 86 59 122 29 83 91 103 142 57 159 105 14 55 107 62 155 66 73 68 32 113 69 63 90 61 146 </values> </instantiation>