| Name | NurseRostering/ NurseRostering-02_c18.xml |
| MD5SUM | 87663e99bef5ddcf16b35e20b5ad163d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1062 |
| Best CPU time to get the best result obtained on this benchmark | 252.126 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 412 |
| Number of constraints | 945 |
| Number of domains | 11 |
| Minimum domain size | 1 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":1,"count":18},{"size":2,"count":90},{"size":3,"count":196},{"size":15,"count":108}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":188},{"degree":3,"count":28},{"degree":10,"count":3},{"degree":11,"count":13},{"degree":12,"count":10},{"degree":13,"count":5},{"degree":14,"count":13},{"degree":15,"count":21},{"degree":16,"count":25},{"degree":17,"count":23},{"degree":18,"count":31},{"degree":19,"count":24},{"degree":20,"count":20},{"degree":21,"count":8}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":254},{"arity":6,"count":126},{"arity":14,"count":1},{"arity":15,"count":84}] |
| Number of extensional constraints | 224 |
| Number of intensional constraints | 138 |
| Distribution of constraint types | [{"type":"extension","count":224},{"type":"intension","count":138},{"type":"regular","count":344},{"type":"sum","count":28},{"type":"count","count":210},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
| Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|---|
| Mistral-2.0 2018-08-01 (complete) | 4312470 | SAT (TO) | 1036 | 252.018 | 252.01 |
| Sat4j-CSP 2018-07-11 (complete) | 4301301 | SAT (TO) | 1062 | 252.126 | 247.118 |
| OscaR - Hybrid 2018-08-14 (complete) | 4310397 | SAT (TO) | 1225 | 252.124 | 240.434 |
| Choco-solver 4.0.7b seq (e747e1e) (complete) | 4301300 | SAT (TO) | 1527 | 252.083 | 246.81 |
| Concrete 3.9.2 (complete) | 4302421 | SAT (TO) | 1551 | 252.127 | 233.738 |
| Concrete 3.9.2-SuperNG (complete) | 4302771 | SAT (TO) | 1638 | 252.107 | 234.737 |
| OscaR - Conflict Ordering with restarts 2018-08-14 (complete) | 4310047 | SAT (TO) | 1749 | 252.051 | 245.319 |
| cosoco 1.12 (complete) | 4301302 | SAT (TO) | 1752 | 252.004 | 252.01 |
| OscaR - Conflict Ordering with restarts 2018-08-17 (complete) | 4312257 | SAT (TO) | 2055 | 252.119 | 245.518 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 1036<instantiation type="solution"> <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] </list> <values> 1 2 1 0 2 2 1 0 2 2 1 2 0 0 1 2 1 0 2 2 1 0 0 2 2 2 2 0 1 1 2 0 1 1 1 1 0 0 2 2 2 2 2 1 2 0 1 1 1 2 0 0 2 2 0 2 2 1 0 2 1 1 1 2 0 0 2 2 2 2 1 2 0 2 1 1 2 1 2 1 2 2 2 2 1 2 0 0 1 1 2 1 2 1 2 2 2 2 1 0 2 0 2 2 1 2 0 2 2 2 2 2 1 0 2 0 2 2 1 2 0 2 1 1 2 0 1 0 0 0 1 0 2 1 1 2 2 2 2 2 2 2 0 0 1 0 2 1 2 0 2 1 2 2 2 2 0 2 1 0 2 1 2 1 2 2 2 2 2 0 2 2 2 2 1 2 0 2 1 1 0 0 2 0 2 2 2 2 1 2 1 2 1 1 1 2 0 8 6 5 3 6 6 2 6 9 0 5 0 8 6 3 5 6 0 9 5 2 6 6 7 2 5 4 3 7 0 4 10 0 4 10 3 1 10 4 0 10 4 4 6 4 3 7 3 6 5 4 4 6 3 4 7 1 5 8 2 5 7 3 2 9 4 4 6 4 4 6 4 3 7 2 3 9 4 3 7 1 5 8 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 3 3 0 0 1 0 1 1 1 0 3 0 0 1 1 1 1 1 0 0 2 0 3 3 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 400 0 0 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 </values> </instantiation>