Name | Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml |
MD5SUM | b5db2d1209ce62208741c56e17334157 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 2881 |
Best CPU time to get the best result obtained on this benchmark | 249.396 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 305 |
Number of domains | 1 |
Minimum domain size | 2882 |
Maximum domain size | 2882 |
Distribution of domain sizes | [{"size":2882,"count":300}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":50},{"degree":3,"count":250}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":1,"count":50},{"arity":2,"count":250},{"arity":50,"count":5}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 300 |
Distribution of constraint types | [{"type":"intension","count":300},{"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: 2881<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] s[20][0] s[20][1] s[20][2] s[20][3] s[20][4] s[21][0] s[21][1] s[21][2] s[21][3] s[21][4] s[22][0] s[22][1] s[22][2] s[22][3] s[22][4] s[23][0] s[23][1] s[23][2] s[23][3] s[23][4] s[24][0] s[24][1] s[24][2] s[24][3] s[24][4] s[25][0] s[25][1] s[25][2] s[25][3] s[25][4] s[26][0] s[26][1] s[26][2] s[26][3] s[26][4] s[27][0] s[27][1] s[27][2] s[27][3] s[27][4] s[28][0] s[28][1] s[28][2] s[28][3] s[28][4] s[29][0] s[29][1] s[29][2] s[29][3] s[29][4] s[30][0] s[30][1] s[30][2] s[30][3] s[30][4] s[31][0] s[31][1] s[31][2] s[31][3] s[31][4] s[32][0] s[32][1] s[32][2] s[32][3] s[32][4] s[33][0] s[33][1] s[33][2] s[33][3] s[33][4] s[34][0] s[34][1] s[34][2] s[34][3] s[34][4] s[35][0] s[35][1] s[35][2] s[35][3] s[35][4] s[36][0] s[36][1] s[36][2] s[36][3] s[36][4] s[37][0] s[37][1] s[37][2] s[37][3] s[37][4] s[38][0] s[38][1] s[38][2] s[38][3] s[38][4] s[39][0] s[39][1] s[39][2] s[39][3] s[39][4] s[40][0] s[40][1] s[40][2] s[40][3] s[40][4] s[41][0] s[41][1] s[41][2] s[41][3] s[41][4] s[42][0] s[42][1] s[42][2] s[42][3] s[42][4] s[43][0] s[43][1] s[43][2] s[43][3] s[43][4] s[44][0] s[44][1] s[44][2] s[44][3] s[44][4] s[45][0] s[45][1] s[45][2] s[45][3] s[45][4] s[46][0] s[46][1] s[46][2] s[46][3] s[46][4] s[47][0] s[47][1] s[47][2] s[47][3] s[47][4] s[48][0] s[48][1] s[48][2] s[48][3] s[48][4] s[49][0] s[49][1] s[49][2] s[49][3] s[49][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] e[20] e[21] e[22] e[23] e[24] e[25] e[26] e[27] e[28] e[29] e[30] e[31] e[32] e[33] e[34] e[35] e[36] e[37] e[38] e[39] e[40] e[41] e[42] e[43] e[44] e[45] e[46] e[47] e[48] e[49] </list> <values> 314 1153 1252 1302 1377 25 26 86 145 365 735 1409 1497 1536 1646 1810 2149 2309 2356 2507 2509 2544 2626 2699 2786 0 9 23 56 307 680 1330 1415 1488 1614 186 873 961 1044 1132 2363 2456 2581 2640 2758 213 794 886 971 1057 500 569 655 774 843 203 426 568 580 745 1640 2050 2190 2287 2449 1560 1972 2095 2274 2352 792 1491 1512 1609 1703 425 746 808 883 1004 1480 1900 2033 2236 2255 1113 1693 1831 1899 1966 235 498 589 675 760 295 344 440 519 563 338 986 1081 1184 1209 1986 2262 2454 2501 2609 539 1103 1187 1294 1360 248 930 996 1101 1257 1182 1731 1875 1917 2039 2618 2703 2719 2790 2879 1329 1867 2002 2015 2081 2267 2449 2522 2576 2708 392 660 884 1361 1444 278 323 470 552 602 1404 1873 2017 2152 2169 2171 2405 2507 2574 2700 177 181 294 308 464 262 291 323 385 511 194 245 372 446 647 979 1612 1974 2078 2147 584 1204 1260 1414 1480 915 1516 1706 1791 1866 80 83 140 230 342 2078 2335 2490 2509 2618 1255 1826 1876 1930 2049 363 1047 1128 1195 1340 1045 1649 1806 1847 1928 462 591 632 696 820 1724 2108 2249 2348 2467 1896 2196 2383 2443 2554 630 1243 1347 1437 1535 224 618 738 840 938 851 1509 1608 1688 1740 123 127 1702 1750 1837 1444 464 1703 2554 2879 342 1646 1209 2786 1132 938 760 2467 2449 1740 1057 2352 2039 820 602 1257 2618 1377 1340 2049 2881 2147 2758 1480 647 2255 2708 511 563 745 2169 1535 1928 365 2700 2081 1360 1966 843 2507 2609 1614 1004 1837 1866 </values> </instantiation>