Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml |
MD5SUM | 428eef4dc0068476798a4d67b3fd28ef |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1233 |
Best CPU time to get the best result obtained on this benchmark | 251.895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 255 |
Number of domains | 1 |
Minimum domain size | 1333 |
Maximum domain size | 1333 |
Distribution of domain sizes | [{"size":1333,"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: 1233<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> 21 210 306 365 477 566 647 679 759 832 848 919 971 1055 1154 0 37 258 357 409 524 547 585 622 679 716 812 894 969 1066 302 389 435 449 553 583 666 789 847 901 902 999 1064 1083 1134 21 94 112 166 174 283 298 374 401 501 585 824 894 975 1088 0 68 139 142 213 304 373 456 477 562 934 985 1067 1097 1127 22 109 117 174 246 252 283 403 453 578 580 666 699 869 1005 0 21 146 246 316 396 479 526 626 883 998 1051 1061 1153 1185 0 40 154 292 302 365 403 453 562 632 699 838 975 1135 1185 0 37 68 117 140 141 219 258 273 282 323 358 455 463 524 61 140 245 357 435 463 500 583 667 744 801 844 923 998 1181 0 29 78 111 166 190 441 664 732 753 814 911 1015 1058 1143 389 487 536 557 580 666 685 749 825 850 920 962 1058 1135 1154 0 21 111 336 526 591 641 728 826 840 853 921 981 1077 1143 219 306 403 455 514 547 559 641 737 820 832 915 923 1026 1137 0 94 112 166 208 323 537 614 670 755 829 921 973 1105 1169 1178 1137 1230 1185 1191 1064 1218 1232 584 1232 1191 1229 1233 1143 1181 </values> </instantiation>