Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-144.xml |
MD5SUM | b8938fafa0a7bd5ba97e6b9454c94e7b |
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 | 31.3337 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 288 |
Number of constraints | 152 |
Number of domains | 2 |
Minimum domain size | 144 |
Maximum domain size | 20736 |
Distribution of domain sizes | [{"size":144,"count":144},{"size":20736,"count":144}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":144},{"degree":4,"count":143},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":144},{"arity":72,"count":6},{"arity":144,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 145 |
Distribution of constraint types | [{"type":"intension","count":145},{"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 id='sol1' type='solution'> <list> x[] y[] cx[] cy[] </list> <values> 1 18 24 25 26 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 62 63 64 65 66 67 68 69 70 71 72 73 113 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 19 20 21 22 23 27 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 105 106 107 108 109 110 111 112 114 115 116 117 118 119 120 121 122 123 124 1 324 576 625 676 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 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 12769 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 19881 20164 20449 20736 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 361 400 441 484 529 729 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 11025 11236 11449 11664 11881 12100 12321 12544 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 </values> </instantiation>