Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-30-098.xml |
MD5SUM | fb27cd1d2814d0f1760e6f4b9d041fef |
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 | 153.956 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of constraints | 435 |
Number of domains | 30 |
Minimum domain size | 69 |
Maximum domain size | 98 |
Distribution of domain sizes | [{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2},{"size":93,"count":2},{"size":94,"count":2},{"size":95,"count":2},{"size":96,"count":2},{"size":97,"count":2},{"size":98,"count":2}] |
Minimum variable degree | 29 |
Maximum variable degree | 29 |
Distribution of variable degrees | [{"degree":29,"count":60}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":435}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 435 |
Distribution of constraint types | [{"type":"intension","count":435}] |
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] 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]</list> <values>25 0 75 71 70 72 10 2 69 40 38 25 56 56 25 22 0 38 56 78 50 0 75 17 0 0 71 70 41 26 26 79 25 24 19 28 74 73 34 59 48 47 34 19 59 30 81 30 0 23 48 26 0 74 48 0 43 70 69 0</values> </instantiation>