Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml |
MD5SUM | 42633f1d08cbe99acfb79d5a930fb228 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1222 |
Best CPU time to get the best result obtained on this benchmark | 252.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 255 |
Number of domains | 1 |
Minimum domain size | 1322 |
Maximum domain size | 1322 |
Distribution of domain sizes | [{"size":1322,"count":240}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":15},{"degree":3,"count":225}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":1,"count":15},{"arity":2,"count":225},{"arity":15,"count":15}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 240 |
Distribution of constraint types | [{"type":"intension","count":240},{"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: 1222<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] 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] </list> <values> 0 69 185 294 356 436 439 487 549 611 677 1014 1096 1122 1134 124 207 271 318 333 422 498 552 570 592 677 703 733 752 951 0 62 109 202 256 307 385 456 608 627 660 704 776 1126 1135 0 33 115 282 324 420 570 581 607 695 765 796 806 898 901 62 136 185 198 241 469 550 569 634 671 801 866 877 989 1202 0 83 276 299 323 552 646 731 807 853 883 966 1028 1060 1147 83 195 273 294 338 420 488 547 563 583 677 877 915 1067 1151 0 105 243 258 261 276 689 739 820 899 982 1062 1117 1122 1193 0 318 331 364 411 592 699 829 898 926 967 1061 1086 1147 1206 0 78 82 163 250 299 385 469 515 627 732 750 773 877 1145 69 312 329 436 503 603 680 749 772 883 923 1028 1035 1089 1181 0 78 136 207 250 251 422 498 579 794 820 906 915 1035 1103 0 38 124 162 241 356 499 515 581 681 695 777 868 926 1069 33 109 331 424 487 562 624 699 789 829 909 940 973 1069 1138 98 171 183 200 273 276 323 456 569 623 681 853 960 1050 1130 1222 973 1156 976 1214 1219 1215 1220 1222 1168 1219 1145 1086 1202 1205 </values> </instantiation>