Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-128.xml |
MD5SUM | 4d7b3c626605250b6cca5f61c2385b47 |
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 | 25.8592 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 256 |
Number of constraints | 136 |
Number of domains | 2 |
Minimum domain size | 128 |
Maximum domain size | 16384 |
Distribution of domain sizes | [{"size":128,"count":128},{"size":16384,"count":128}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":128},{"degree":4,"count":127},{"degree":5,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 128 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":128},{"arity":64,"count":6},{"arity":128,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 129 |
Distribution of constraint types | [{"type":"intension","count":129},{"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 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 57 62 63 64 65 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 105 106 125 128 19 20 21 22 23 24 25 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 58 59 60 61 66 67 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 126 127 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 3249 3844 3969 4096 4225 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 11025 11236 15625 16384 361 400 441 484 529 576 625 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 3364 3481 3600 3721 4356 4489 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15876 16129 </values> </instantiation>