| Name | NumberPartitioning/NumberPartitioning-m1-s1/ NumberPartitioning-116.xml |
| MD5SUM | d517e275a321760c6bd42601d2b728d6 |
| 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 | 23.7128 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 232 |
| Number of constraints | 124 |
| Number of domains | 2 |
| Minimum domain size | 116 |
| Maximum domain size | 13456 |
| Distribution of domain sizes | [{"size":116,"count":116},{"size":13456,"count":116}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":116},{"degree":4,"count":115},{"degree":5,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 116 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":116},{"arity":58,"count":6},{"arity":116,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 117 |
| Distribution of constraint types | [{"type":"intension","count":117},{"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 54 56 57 58 59 60 61 62 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 112 114 115 17 18 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 55 63 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 113 116 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 2916 3136 3249 3364 3481 3600 3721 3844 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 12544 12996 13225 289 324 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 3025 3969 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025 11236 11449 11664 11881 12100 12321 12769 13456 </values> </instantiation>