| Name | Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-5.xml |
| MD5SUM | 8b9c4e6e7c9e88d5c00f06b3f0219a0c |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 915 |
| Number of constraints | 720 |
| Number of domains | 17 |
| Minimum domain size | 13 |
| Maximum domain size | 1059 |
| Distribution of domain sizes | [{"size":13,"count":30},{"size":14,"count":90},{"size":15,"count":330},{"size":1059,"count":465}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":2,"count":240},{"degree":3,"count":450},{"degree":16,"count":225}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 17 |
| Distribution of constraint arities | [{"arity":1,"count":15},{"arity":2,"count":225},{"arity":3,"count":225},{"arity":15,"count":30},{"arity":17,"count":225}] |
| Number of extensional constraints | 225 |
| Number of intensional constraints | 240 |
| Distribution of constraint types | [{"type":"extension","count":225},{"type":"intension","count":240},{"type":"allDifferent","count":15},{"type":"noOverlap","count":15},{"type":"element","count":225}] |
| 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: 1058<instantiation cost = '1058'> <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] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[0][10] sd[0][11] sd[0][12] sd[0][13] sd[0][14] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[1][10] sd[1][11] sd[1][12] sd[1][13] sd[1][14] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[2][10] sd[2][11] sd[2][12] sd[2][13] sd[2][14] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[3][10] sd[3][11] sd[3][12] sd[3][13] sd[3][14] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[4][10] sd[4][11] sd[4][12] sd[4][13] sd[4][14] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[5][10] sd[5][11] sd[5][12] sd[5][13] sd[5][14] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[6][10] sd[6][11] sd[6][12] sd[6][13] sd[6][14] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[7][10] sd[7][11] sd[7][12] sd[7][13] sd[7][14] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[8][10] sd[8][11] sd[8][12] sd[8][13] sd[8][14] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] sd[9][10] sd[9][11] sd[9][12] sd[9][13] sd[9][14] sd[10][0] sd[10][1] sd[10][2] sd[10][3] sd[10][4] sd[10][5] sd[10][6] sd[10][7] sd[10][8] sd[10][9] sd[10][10] sd[10][11] sd[10][12] sd[10][13] sd[10][14] sd[11][0] sd[11][1] sd[11][2] sd[11][3] sd[11][4] sd[11][5] sd[11][6] sd[11][7] sd[11][8] sd[11][9] sd[11][10] sd[11][11] sd[11][12] sd[11][13] sd[11][14] sd[12][0] sd[12][1] sd[12][2] sd[12][3] sd[12][4] sd[12][5] sd[12][6] sd[12][7] sd[12][8] sd[12][9] sd[12][10] sd[12][11] sd[12][12] sd[12][13] sd[12][14] sd[13][0] sd[13][1] sd[13][2] sd[13][3] sd[13][4] sd[13][5] sd[13][6] sd[13][7] sd[13][8] sd[13][9] sd[13][10] sd[13][11] sd[13][12] sd[13][13] sd[13][14] sd[14][0] sd[14][1] sd[14][2] sd[14][3] sd[14][4] sd[14][5] sd[14][6] sd[14][7] sd[14][8] sd[14][9] sd[14][10] sd[14][11] sd[14][12] sd[14][13] sd[14][14] </list> <values> 1 115 187 242 320 441 520 539 657 750 935 959 961 982 985 3 63 89 142 334 352 456 547 593 703 763 786 801 970 985 0 44 110 193 237 308 361 441 516 558 690 816 871 899 968 40 43 72 148 234 357 406 449 617 656 765 836 863 890 983 0 33 113 175 197 262 316 460 557 656 741 786 825 971 1057 0 44 168 238 327 340 402 479 567 698 716 807 860 948 965 65 110 199 276 353 357 420 483 515 616 685 819 917 943 1031 0 18 109 142 192 366 442 485 578 592 684 767 836 877 965 0 30 112 189 275 332 404 459 620 690 705 717 761 788 877 113 184 195 246 284 422 441 460 525 586 685 770 836 879 999 22 24 58 275 417 455 458 483 575 657 685 750 793 854 890 0 65 139 224 284 314 391 482 487 500 614 659 703 894 965 50 110 133 158 187 276 348 420 515 533 581 655 795 877 970 0 69 268 348 368 395 487 533 643 741 854 950 968 970 985 69 142 164 229 254 284 353 430 541 637 687 743 798 816 1006 1058 1006 995 1057 1058 1007 1058 1052 961 1058 969 1058 1052 1008 1044 63 27 2 78 79 19 19 47 21 53 24 2 7 3 73 60 26 32 63 18 90 29 46 23 13 5 12 54 13 21 44 66 77 44 71 53 80 75 42 85 94 55 28 69 27 3 18 17 76 86 34 8 8 39 28 71 27 16 60 74 33 80 62 14 65 52 16 49 99 85 45 39 79 86 1 40 61 8 16 13 62 77 88 92 18 91 53 88 17 42 41 72 77 77 4 63 63 32 97 69 99 98 26 88 27 18 51 33 49 79 75 43 67 14 22 83 54 24 86 87 22 82 63 86 57 39 55 75 70 15 4 6 27 83 84 47 11 42 38 68 19 19 22 33 99 3 66 41 69 59 2 34 84 93 32 3 25 92 82 1 65 43 61 36 79 65 74 85 60 30 77 80 5 13 72 45 44 58 71 93 60 23 22 27 89 72 69 65 18 48 74 62 82 73 82 69 99 80 20 27 92 34 85 98 78 89 18 2 15 23 43 22 65 5 8 64 51 28 96 50 56 55 18 45 38 12 5 10 1 2 0 9 7 13 4 6 14 8 3 11 7 8 6 3 5 14 2 10 4 11 9 13 12 1 0 2 14 9 7 6 11 5 10 3 1 12 13 0 4 8 13 8 6 14 2 4 12 7 10 0 11 9 3 5 1 10 4 2 11 12 3 5 8 0 14 13 7 6 9 1 13 2 7 3 6 0 1 4 11 9 5 8 12 10 14 1 10 11 9 8 13 12 5 6 4 7 14 0 2 3 6 11 13 5 4 8 14 2 12 9 0 10 3 1 7 14 5 11 10 4 1 9 7 12 6 13 3 2 0 8 4 2 6 5 14 10 8 0 1 7 13 9 11 3 12 14 0 3 10 7 11 6 12 13 8 4 1 2 5 9 1 12 8 14 5 3 4 0 6 13 9 11 2 7 10 10 14 6 0 9 12 7 13 5 8 2 3 1 11 4 9 7 8 12 10 3 0 5 1 14 2 11 4 6 13 11 12 1 2 3 7 9 6 14 5 10 8 13 4 0 441 242 320 982 750 115 935 539 961 520 187 985 1 657 959 985 970 456 142 593 334 89 3 63 763 547 703 801 786 352 871 558 0 516 899 361 237 193 968 110 441 308 690 816 44 656 983 234 863 357 890 72 449 43 836 617 765 406 40 148 557 1057 113 262 33 316 825 786 460 971 0 175 197 741 656 340 402 44 238 479 716 327 168 807 698 948 567 860 0 965 917 65 943 1031 616 483 515 685 353 276 110 199 420 357 819 684 877 485 836 192 142 0 965 366 592 767 18 578 109 442 788 332 761 717 275 30 690 459 877 404 189 112 620 705 0 460 525 184 879 113 246 195 586 441 770 422 836 999 685 284 24 750 793 58 685 854 458 417 657 890 275 455 483 575 22 482 0 703 314 391 284 487 894 139 614 965 659 65 500 224 158 795 581 655 970 515 133 348 533 187 50 877 276 420 110 487 643 854 395 968 533 970 69 268 0 368 950 348 985 741 1006 164 229 254 816 637 430 284 743 353 687 69 142 798 541 </values> </instantiation>