| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml |
| MD5SUM | aac981b64b3d0bc7b0997201d0c57f9b |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1406 |
| Best CPU time to get the best result obtained on this benchmark | 251.884 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 320 |
| Number of constraints | 335 |
| Number of domains | 1 |
| Minimum domain size | 1477 |
| Maximum domain size | 1477 |
| Distribution of domain sizes | [{"size":1477,"count":320}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":300}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":1,"count":20},{"arity":2,"count":300},{"arity":20,"count":15}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 320 |
| Distribution of constraint types | [{"type":"intension","count":320},{"type":"noOverlap","count":15}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 1406<instantiation type="solution"> <list> s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12] s[16][13] s[16][14] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6] s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10] s[19][11] s[19][12] s[19][13] s[19][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] e[15] e[16] e[17] e[18] e[19] </list> <values> 347 614 691 757 816 824 855 952 959 1039 1056 1115 1123 1214 1225 21 165 288 328 404 413 622 702 753 812 915 983 1059 1074 1108 380 464 598 624 694 747 778 798 837 919 952 1026 1154 1247 1328 0 83 199 213 266 359 402 405 420 521 613 879 1077 1210 1213 0 83 132 147 183 287 416 497 553 937 1026 1096 1115 1222 1319 34 124 161 464 597 692 739 746 813 891 936 1024 1115 1320 1321 92 182 253 300 358 528 621 783 810 816 932 1002 1035 1124 1290 0 85 143 180 241 343 456 553 703 787 936 937 1062 1095 1177 0 17 28 46 136 193 288 310 350 439 497 584 665 1003 1264 86 203 328 464 518 614 679 799 863 928 1017 1138 1228 1279 1367 38 114 210 218 380 513 528 831 1039 1096 1146 1215 1228 1290 1353 0 21 91 156 292 375 404 508 624 727 856 1044 1127 1204 1376 0 268 375 544 692 813 890 938 952 994 1003 1077 1110 1214 1283 17 86 193 250 279 334 424 455 502 533 618 727 944 1003 1097 262 303 386 468 518 703 778 843 983 1054 1119 1142 1184 1192 1233 136 199 203 288 341 402 456 472 673 848 891 915 1075 1202 1326 107 321 488 603 706 819 843 938 1023 1119 1173 1228 1264 1305 1383 213 341 439 528 597 645 702 837 950 964 987 1183 1186 1228 1301 0 38 114 161 182 262 359 394 439 513 605 703 831 923 1010 0 76 208 435 701 810 860 952 985 1037 1099 1141 1214 1306 1358 1306 1190 1383 1302 1406 1376 1382 1197 1289 1405 1406 1402 1328 1183 1326 1367 1406 1375 1056 1400 </values> </instantiation>