Name | Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml |
MD5SUM | e6b1372cf07bbc208bc6bd8f79f2963c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1107 |
Best CPU time to get the best result obtained on this benchmark | 252.008 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 120 |
Number of constraints | 125 |
Number of domains | 1 |
Minimum domain size | 1181 |
Maximum domain size | 1181 |
Distribution of domain sizes | [{"size":1181,"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: 1107<instantiation type="solution"> <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> 290 413 473 498 514 924 1018 1049 1082 1094 0 9 55 70 106 659 753 789 873 967 367 460 563 671 795 807 886 944 997 1046 36 91 184 250 341 586 771 829 851 877 396 656 753 903 1013 500 646 656 662 724 172 197 276 347 815 461 553 658 760 919 91 176 178 224 299 226 276 363 390 415 886 944 990 1007 1087 167 178 226 399 670 716 829 847 934 1079 197 363 413 509 597 250 452 487 592 847 9 55 81 140 224 597 1107 190 1013 815 1079 415 919 1046 795 847 967 341 514 1094 724 1087 670 877 299 </values> </instantiation>