Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-24-071.xml |
MD5SUM | c8960cc0de41b37a4760da710336f2ef |
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 | 8.03116 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 48 |
Number of constraints | 276 |
Number of domains | 24 |
Minimum domain size | 48 |
Maximum domain size | 71 |
Distribution of domain sizes | [{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2},{"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}] |
Minimum variable degree | 23 |
Maximum variable degree | 23 |
Distribution of variable degrees | [{"degree":23,"count":48}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":276}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 276 |
Distribution of constraint types | [{"type":"intension","count":276}] |
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] 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]</list> <values>0 45 44 32 59 53 64 45 40 39 14 25 32 0 0 37 15 53 20 0 0 49 21 47 29 48 29 12 0 1 0 17 52 61 1 0 16 0 14 0 12 7 52 51 30 49 29 25</values> </instantiation>