Name | Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml |
MD5SUM | fe547a27c953c30f0dd43f8aa0b4ac9f |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1229 |
Best CPU time to get the best result obtained on this benchmark | 251.996 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 240 |
Number of constraints | 255 |
Number of domains | 1 |
Minimum domain size | 1320 |
Maximum domain size | 1320 |
Distribution of domain sizes | [{"size":1320,"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: 1229<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 83 84 208 262 326 406 487 572 621 672 750 857 922 1016 0 40 108 187 208 292 455 521 572 655 751 819 870 917 1126 0 46 121 187 271 359 417 486 525 603 706 730 826 850 905 0 114 195 468 572 584 669 753 828 867 870 929 1018 1078 1154 0 85 165 204 427 538 586 625 685 929 1028 1037 1080 1175 1202 0 28 90 165 167 202 321 384 473 629 687 785 922 1034 1126 202 223 246 359 364 407 423 521 691 767 829 908 1048 1147 1192 0 250 330 391 478 519 525 608 753 797 880 895 979 1112 1159 0 77 417 523 597 603 730 829 835 919 946 998 1087 1092 1225 46 131 195 250 329 418 513 566 580 636 867 958 962 1010 1105 0 40 48 85 108 109 187 386 546 636 775 958 1023 1105 1181 83 121 204 262 341 356 366 455 496 593 690 706 753 822 1124 24 131 174 220 267 382 466 653 692 813 842 1028 1034 1080 1177 0 201 267 271 420 580 586 628 774 850 909 997 998 1002 1084 0 24 90 94 167 271 321 344 406 420 511 600 780 949 1226 1080 1202 985 1225 1229 1149 1229 1227 1226 1181 1192 1144 1200 1159 1229 </values> </instantiation>