| Name | Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml |
| MD5SUM | 61a67ae858673343e351cd0fcc1d1459 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 648 |
| Best CPU time to get the best result obtained on this benchmark | 1726.14 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 410 |
| Number of constraints | 330 |
| Number of domains | 12 |
| Minimum domain size | 8 |
| Maximum domain size | 704 |
| Distribution of domain sizes | [{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":704,"count":210}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 12 |
| Distribution of constraint arities | [{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 110 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}] |
| 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: 648<instantiation> <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[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[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[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[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[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[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[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[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[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] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] 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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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] </list> <values>103 176 236 334 370 404 488 520 533 584 47 140 186 284 323 359 371 442 487 579 4 101 201 245 299 372 419 446 486 518 1 41 48 175 193 278 418 460 482 584 0 1 42 108 186 284 449 521 603 623 1 66 80 157 177 243 265 353 384 530 0 79 132 181 278 281 378 418 494 541 7 117 154 193 284 356 365 425 516 615 0 79 107 179 237 333 417 492 565 632 107 198 232 274 284 355 436 480 522 553 648 646 591 648 648 615 632 648 648 642 10 8 48 35 34 76 4 1 51 64 93 46 98 39 9 12 71 44 90 67 95 97 30 13 50 32 26 33 32 73 36 3 78 2 63 47 22 19 34 64 1 40 65 77 95 67 64 69 20 25 64 14 73 19 66 22 88 24 45 85 79 38 44 93 2 91 39 65 46 91 94 29 37 69 72 9 60 91 87 33 47 28 68 53 84 84 70 68 67 16 50 34 42 7 67 64 41 42 10 89 3 1 0 4 9 5 2 8 7 6 5 2 1 0 7 3 4 8 6 9 3 9 4 7 6 5 2 0 8 1 8 9 2 5 6 4 0 1 3 7 0 2 7 6 5 9 4 8 3 1 0 8 4 1 7 9 2 6 3 5 1 0 3 8 7 5 6 9 2 4 6 0 4 2 1 9 8 7 3 5 5 1 8 0 3 7 6 9 2 4 1 9 4 6 8 2 3 5 7 0 236 176 488 103 334 404 584 533 520 370 284 186 140 359 371 47 487 323 442 579 446 518 419 4 201 372 299 245 486 101 418 460 48 482 278 175 193 584 1 41 0 623 1 603 449 186 108 42 521 284 1 157 265 384 80 530 353 177 66 243 79 0 494 132 541 281 378 278 181 418 117 284 193 516 154 615 7 425 365 356 179 79 565 237 632 0 417 333 107 492 553 107 355 436 232 480 274 522 284 198 </values> </instantiation>