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