Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-184.xml |
MD5SUM | 50aaeae16ffb672916f4ac64373270f5 |
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 | 114.434 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 368 |
Number of constraints | 192 |
Number of domains | 2 |
Minimum domain size | 184 |
Maximum domain size | 33856 |
Distribution of domain sizes | [{"size":184,"count":184},{"size":33856,"count":184}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":184},{"degree":4,"count":183},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 184 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":184},{"arity":92,"count":6},{"arity":184,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 185 |
Distribution of constraint types | [{"type":"intension","count":185},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}] |
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[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78] y[79] y[80] y[81] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58] cx[59] cx[60] cx[61] cx[62] cx[63] cx[64] cx[65] cx[66] cx[67] cx[68] cx[69] cx[70] cx[71] cx[72] cx[73] cx[74] cx[75] cx[76] cx[77] cx[78] cx[79] cx[80] cx[81] cx[82] cx[83] cx[84] cx[85] cx[86] cx[87] cx[88] cx[89] cx[90] cx[91] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] cy[64] cy[65] cy[66] cy[67] cy[68] cy[69] cy[70] cy[71] cy[72] cy[73] cy[74] cy[75] cy[76] cy[77] cy[78] cy[79] cy[80] cy[81] cy[82] cy[83] cy[84] cy[85] cy[86] cy[87] cy[88] cy[89] cy[90] cy[91] </list> <values>1 2 15 20 23 24 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 159 170 171 172 173 174 175 176 177 178 179 180 182 183 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 21 22 25 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 160 161 162 163 164 165 166 167 168 169 181 184 1 4 225 400 529 576 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 25281 28900 29241 29584 29929 30276 30625 30976 31329 31684 32041 32400 33124 33489 9 16 25 36 49 64 81 100 121 144 169 196 256 289 324 361 441 484 625 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336 24649 24964 25600 25921 26244 26569 26896 27225 27556 27889 28224 28561 32761 33856 </values> </instantiation>