Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml |
MD5SUM | a459d91dacc3f59ecbf6a687bb73e496 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1259 |
Best CPU time to get the best result obtained on this benchmark | 251.858 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 255 |
Number of domains | 1 |
Minimum domain size | 1359 |
Maximum domain size | 1359 |
Distribution of domain sizes | [{"size":1359,"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: 1259<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> 200 235 326 405 532 599 665 769 874 888 993 1088 1137 1173 1258 150 235 276 298 365 419 490 539 632 686 750 762 888 1148 1212 0 96 276 361 380 431 470 556 637 751 808 874 908 1006 1114 0 162 427 462 470 495 552 553 597 691 721 899 1098 1149 1201 44 140 179 254 359 361 401 567 660 763 843 847 858 941 1036 0 122 203 246 455 758 846 879 892 899 948 971 1009 1030 1140 0 3 83 175 268 359 503 846 910 993 995 1093 1183 1199 1217 0 44 74 121 349 417 605 694 839 910 947 952 1006 1036 1213 0 44 103 190 252 303 358 430 470 496 514 529 552 1113 1153 3 30 44 422 540 595 691 750 769 947 994 1092 1129 1220 1231 0 67 161 347 349 432 451 495 547 605 637 689 789 892 1162 140 200 299 399 481 553 637 653 662 744 751 754 838 846 879 70 162 313 317 405 462 585 660 697 808 816 860 1008 1085 1179 0 67 268 317 385 417 427 472 556 638 689 744 843 1150 1234 0 23 58 122 161 203 252 327 618 721 755 847 1009 1102 1187 1259 1242 1183 1217 1114 1212 1242 1259 1213 1242 1232 972 1253 1256 1243 </values> </instantiation>