| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml |
| MD5SUM | 15bcd759626357ed73f755380ffdcafb |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1377 |
| Best CPU time to get the best result obtained on this benchmark | 252.015 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 320 |
| Number of constraints | 335 |
| Number of domains | 1 |
| Minimum domain size | 1462 |
| Maximum domain size | 1462 |
| Distribution of domain sizes | [{"size":1462,"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: 1377<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> 29 294 353 424 455 645 739 751 866 953 1048 1104 1135 1208 1287 151 508 541 588 780 900 919 923 1005 1034 1108 1196 1234 1297 1320 0 180 221 290 316 374 434 449 774 864 903 911 1046 1160 1254 0 1 71 186 299 405 455 506 588 651 729 786 858 1089 1263 138 151 169 213 227 294 388 406 466 525 643 676 758 1216 1330 0 118 228 434 471 525 597 614 658 860 959 1051 1135 1152 1234 0 4 66 99 161 269 299 338 466 639 681 776 865 932 1230 0 29 166 299 365 420 466 519 756 923 961 1082 1281 1298 1337 66 78 184 220 520 571 657 807 877 928 942 1013 1047 1164 1335 0 99 456 567 716 778 874 877 948 1007 1108 1206 1304 1347 1351 49 138 279 424 471 489 562 628 676 855 924 985 1069 1320 1341 0 71 118 220 338 401 482 726 772 1019 1095 1120 1222 1281 1296 4 78 87 237 316 393 471 541 562 1105 1141 1187 1233 1296 1303 279 353 422 520 521 584 643 757 855 931 960 1096 1199 1324 1344 78 151 221 247 279 409 519 566 670 726 799 853 953 1032 1042 0 541 628 658 750 773 877 915 947 1044 1093 1181 1269 1289 1308 202 318 407 471 530 553 619 815 1012 1093 1133 1179 1226 1266 1350 147 541 614 647 730 746 830 913 928 999 1007 1100 1133 1210 1285 0 92 117 151 237 259 338 361 458 551 645 742 759 850 1042 0 92 169 259 325 352 489 551 662 716 785 955 1036 1124 1171 1332 1376 1345 1270 1369 1324 1261 1350 1370 1377 1342 1377 1373 1371 1133 1375 1377 1314 1089 1269 </values> </instantiation>