Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-26-080.xml |
MD5SUM | 82f2ba8c739d4bfd8362bd41c1ff224a |
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 | 7.46308 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 52 |
Number of constraints | 325 |
Number of domains | 26 |
Minimum domain size | 55 |
Maximum domain size | 80 |
Distribution of domain sizes | [{"size":55,"count":2},{"size":56,"count":2},{"size":57,"count":2},{"size":58,"count":2},{"size":59,"count":2},{"size":60,"count":2},{"size":61,"count":2},{"size":62,"count":2},{"size":63,"count":2},{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"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}] |
Minimum variable degree | 25 |
Maximum variable degree | 25 |
Distribution of variable degrees | [{"degree":25,"count":52}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":325}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 325 |
Distribution of constraint types | [{"type":"intension","count":325}] |
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] 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]</list> <values>10 32 23 22 47 47 32 39 1 0 19 53 19 18 65 64 47 0 0 10 26 0 57 30 32 54 39 24 63 59 51 57 51 51 1 10 20 51 31 44 49 64 63 40 20 0 59 58 26 0 26 0</values> </instantiation>