Name | Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml |
MD5SUM | 1edbd0f724acb79b93e779b216f6b499 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1290 |
Best CPU time to get the best result obtained on this benchmark | 250.47501 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 125 |
Number of domains | 1 |
Minimum domain size | 1378 |
Maximum domain size | 1378 |
Distribution of domain sizes | [{"size":1378,"count":120}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":100}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":1,"count":20},{"arity":2,"count":100},{"arity":20,"count":5}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 120 |
Distribution of constraint types | [{"type":"intension","count":120},{"type":"noOverlap","count":5}] |
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: 1290<instantiation> <list> s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] 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] e[15] e[16] e[17] e[18] e[19] </list> <values> 271 327 406 422 488 325 408 422 529 595 26 77 145 226 319 408 479 588 639 719 479 578 648 811 892 197 257 603 707 804 556 634 737 798 839 233 411 844 929 1032 41 72 88 177 250 943 1030 1086 1192 1277 867 943 948 988 1073 1030 1121 1182 1183 1205 12 88 298 367 406 68 182 361 488 546 0 25 194 257 339 696 773 797 889 945 97 161 272 313 414 609 787 873 1104 1187 129 471 511 588 651 773 946 1023 1073 1159 546 651 339 804 945 839 892 1073 319 1290 1159 1277 414 595 386 1032 472 1205 719 1187 </values> </instantiation>