Name | Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml |
MD5SUM | 0e54ac42af650b711b86c7f2d29cb640 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1253 |
Best CPU time to get the best result obtained on this benchmark | 1903.67 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 125 |
Number of domains | 1 |
Minimum domain size | 1330 |
Maximum domain size | 1330 |
Distribution of domain sizes | [{"size":1330,"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: 1253<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> 155 197 271 399 473 4 40 56 165 198 120 378 577 698 741 0 6 9 101 115 1033 1097 1173 1208 1234 858 932 1020 1054 1145 123 165 187 327 382 53 120 150 168 296 487 597 710 877 955 46 59 153 233 374 360 468 507 623 804 658 755 770 828 858 560 686 827 876 984 946 1006 1063 1137 1224 192 327 336 353 436 438 584 673 741 842 121 256 349 469 567 281 376 436 547 645 722 801 835 924 1045 805 883 942 999 1054 567 296 804 198 1253 1224 436 374 984 382 842 955 1045 1234 473 858 645 741 1054 1145 </values> </instantiation>