| Name | Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml |
| MD5SUM | 51c1ec7c53f2e239726c0b7c1f1d5b64 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1394 |
| Best CPU time to get the best result obtained on this benchmark | 251.842 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 320 |
| Number of constraints | 335 |
| Number of domains | 1 |
| Minimum domain size | 1466 |
| Maximum domain size | 1466 |
| Distribution of domain sizes | [{"size":1466,"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: 1394<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> 0 15 104 153 267 307 409 457 556 652 740 807 961 1004 1235 32 38 104 243 254 310 366 381 421 492 571 572 605 744 840 134 230 413 599 648 674 818 936 1016 1088 1141 1145 1198 1280 1318 0 58 92 162 210 369 438 531 619 647 796 862 1242 1309 1337 83 161 168 530 605 644 668 684 806 848 850 1016 1070 1090 1250 90 443 547 560 673 684 747 789 800 867 1072 1152 1269 1309 1368 0 108 120 168 221 297 329 339 420 473 913 1016 1191 1267 1356 15 95 108 122 181 230 247 304 546 667 843 912 1019 1141 1205 0 58 122 212 281 525 652 679 727 814 863 946 1016 1087 1191 0 490 624 676 723 828 903 934 959 1008 1093 1179 1194 1221 1313 133 227 314 388 414 543 649 745 874 946 998 1077 1241 1298 1336 389 543 585 625 652 706 770 881 913 972 1065 1150 1238 1267 1361 51 176 243 261 314 462 548 577 585 711 800 825 833 913 1175 0 64 170 307 350 679 744 858 1010 1193 1242 1274 1315 1361 1391 168 310 339 389 488 541 606 629 678 769 788 874 951 1019 1104 0 13 32 82 176 254 297 313 378 454 455 466 516 579 651 39 82 142 227 273 297 359 408 480 678 729 754 848 1002 1145 0 68 295 329 414 443 515 611 769 818 854 1135 1215 1238 1368 0 64 106 263 388 468 608 690 836 902 1000 1013 1167 1255 1303 297 474 535 560 668 697 725 842 858 917 1010 1039 1072 1083 1228 1310 916 1394 1355 1289 1383 1387 1255 1268 1391 1387 1394 1221 1394 1193 706 1175 1372 1361 1318 </values> </instantiation>