Name | Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-5.xml |
MD5SUM | 8b9c4e6e7c9e88d5c00f06b3f0219a0c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1058 |
Best CPU time to get the best result obtained on this benchmark | 2400.17 |
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> 2 143 317 390 461 497 666 729 876 955 957 964 984 986 1005 65 115 162 167 286 299 390 403 429 479 524 623 720 743 797 0 71 115 157 210 290 318 412 497 610 680 707 817 886 1009 12 86 280 283 356 442 532 608 616 633 672 729 748 797 1031 0 124 223 324 325 454 506 587 667 712 728 761 860 970 1009 0 53 221 399 503 565 656 672 689 716 793 806 870 962 970 0 69 73 105 168 231 258 330 356 485 607 686 784 861 960 35 119 168 201 276 356 407 508 590 769 803 889 903 986 1040 126 148 223 286 343 410 414 497 574 644 761 847 862 891 974 102 105 241 343 370 382 421 499 676 744 793 897 939 972 1031 0 381 443 508 608 610 689 727 761 797 896 939 940 973 1055 0 78 165 258 412 494 565 616 740 753 797 861 901 988 1053 0 73 157 231 303 325 414 441 464 524 542 634 728 797 888 0 49 148 168 257 362 469 536 644 701 791 871 886 888 973 0 107 158 203 221 290 340 404 460 528 582 636 644 710 865 1024 857 1053 1058 1023 1058 1058 1058 1058 1053 1058 1058 970 1058 903 47 78 73 53 24 27 63 21 79 2 7 3 2 19 19 12 29 5 90 13 63 13 26 32 18 46 21 23 54 60 71 44 42 53 80 28 94 85 55 66 27 77 69 75 44 74 71 3 16 28 86 76 8 17 39 34 8 18 60 27 62 49 86 1 79 52 65 80 45 16 33 99 85 39 14 53 88 40 42 62 91 16 17 18 77 13 61 92 8 88 69 4 32 63 63 27 72 26 41 97 77 88 77 99 98 51 49 33 22 67 43 87 79 75 24 86 14 83 54 18 22 75 63 57 27 4 55 39 70 83 86 15 6 82 84 3 19 99 19 11 38 41 66 68 47 69 42 33 59 22 93 61 65 84 2 79 32 34 36 92 43 1 25 82 3 77 80 93 85 74 71 45 58 13 44 60 30 72 65 5 65 48 62 72 22 89 27 23 60 18 74 82 69 73 82 18 99 20 89 78 92 34 98 23 27 80 15 2 69 85 96 51 45 18 65 50 64 56 55 5 28 8 22 43 38 7 1 11 4 6 5 12 13 2 14 8 3 10 0 9 13 2 9 14 1 3 11 8 6 5 10 0 4 12 7 6 2 3 11 5 0 12 1 13 14 8 9 4 10 7 1 11 13 3 0 2 14 7 6 10 4 12 8 5 9 2 8 9 1 6 3 12 4 13 5 10 0 14 7 11 8 12 13 14 0 5 3 10 9 1 6 2 11 7 4 4 8 5 13 12 3 10 0 1 6 11 2 9 7 14 11 5 13 9 2 14 7 4 8 3 1 12 0 10 6 14 7 11 4 2 13 9 1 12 0 10 6 3 5 8 13 10 7 8 2 5 11 9 14 4 3 6 1 12 0 10 2 4 3 14 9 7 0 5 12 1 8 6 13 11 3 4 10 8 12 7 9 2 6 11 14 5 13 1 0 13 8 3 12 6 9 0 14 10 5 2 1 7 11 4 11 7 12 2 14 3 0 1 13 10 8 6 4 9 5 14 9 4 13 1 5 7 10 8 2 6 3 12 11 0 986 143 876 964 390 497 461 2 957 1005 984 317 666 729 955 623 286 115 299 720 479 429 797 403 162 524 390 743 65 167 290 412 71 115 817 210 0 1009 680 707 886 157 318 497 610 356 12 442 283 672 797 616 608 748 1031 633 86 729 280 532 761 324 0 454 587 712 325 970 124 223 728 1009 506 667 860 503 716 806 656 970 565 793 962 0 689 672 870 53 221 399 330 356 686 231 0 73 485 861 69 784 258 607 168 105 960 903 803 276 769 508 119 1040 407 590 201 986 35 889 168 356 644 497 343 862 286 891 847 148 974 414 761 223 574 410 126 1031 939 370 793 744 382 897 241 343 499 105 421 972 102 676 727 896 381 508 443 761 940 689 939 610 0 1055 797 973 608 1053 988 616 0 78 861 740 494 258 565 165 753 412 901 797 414 634 542 157 888 524 303 728 73 325 464 797 231 0 441 469 536 168 362 886 973 871 49 791 888 701 0 148 644 257 865 221 528 636 158 290 582 340 460 107 404 710 644 203 0 </values> </instantiation>