Name | Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml |
MD5SUM | 5ac81d61620ff7de9755053b8ee3703d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1640 |
Best CPU time to get the best result obtained on this benchmark | 251.922 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 420 |
Number of constraints | 440 |
Number of domains | 1 |
Minimum domain size | 1726 |
Maximum domain size | 1726 |
Distribution of domain sizes | [{"size":1726,"count":420}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":3,"count":400}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 20 |
Distribution of constraint arities | [{"arity":1,"count":20},{"arity":2,"count":400},{"arity":20,"count":20}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 420 |
Distribution of constraint types | [{"type":"intension","count":420},{"type":"noOverlap","count":20}] |
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: 1640<instantiation type="solution"> <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[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[0][15] s[0][16] s[0][17] s[0][18] s[0][19] 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[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[1][15] s[1][16] s[1][17] s[1][18] s[1][19] 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[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[2][15] s[2][16] s[2][17] s[2][18] s[2][19] 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[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[3][15] s[3][16] s[3][17] s[3][18] s[3][19] 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[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[4][15] s[4][16] s[4][17] s[4][18] s[4][19] 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[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[5][15] s[5][16] s[5][17] s[5][18] s[5][19] 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[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[6][15] s[6][16] s[6][17] s[6][18] s[6][19] 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[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[7][15] s[7][16] s[7][17] s[7][18] s[7][19] 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[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[8][15] s[8][16] s[8][17] s[8][18] s[8][19] 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] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[9][15] s[9][16] s[9][17] s[9][18] s[9][19] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[10][15] s[10][16] s[10][17] s[10][18] s[10][19] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[11][15] s[11][16] s[11][17] s[11][18] s[11][19] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[12][15] s[12][16] s[12][17] s[12][18] s[12][19] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[13][15] s[13][16] s[13][17] s[13][18] s[13][19] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] s[14][15] s[14][16] s[14][17] s[14][18] s[14][19] s[15][0] s[15][1] s[15][2] s[15][3] s[15][4] s[15][5] s[15][6] s[15][7] s[15][8] s[15][9] s[15][10] s[15][11] s[15][12] s[15][13] s[15][14] s[15][15] s[15][16] s[15][17] s[15][18] s[15][19] s[16][0] s[16][1] s[16][2] s[16][3] s[16][4] s[16][5] s[16][6] s[16][7] s[16][8] s[16][9] s[16][10] s[16][11] s[16][12] s[16][13] s[16][14] s[16][15] s[16][16] s[16][17] s[16][18] s[16][19] s[17][0] s[17][1] s[17][2] s[17][3] s[17][4] s[17][5] s[17][6] s[17][7] s[17][8] s[17][9] s[17][10] s[17][11] s[17][12] s[17][13] s[17][14] s[17][15] s[17][16] s[17][17] s[17][18] s[17][19] s[18][0] s[18][1] s[18][2] s[18][3] s[18][4] s[18][5] s[18][6] s[18][7] s[18][8] s[18][9] s[18][10] s[18][11] s[18][12] s[18][13] s[18][14] s[18][15] s[18][16] s[18][17] s[18][18] s[18][19] s[19][0] s[19][1] s[19][2] s[19][3] s[19][4] s[19][5] s[19][6] s[19][7] s[19][8] s[19][9] s[19][10] s[19][11] s[19][12] s[19][13] s[19][14] s[19][15] s[19][16] s[19][17] s[19][18] s[19][19] 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> 238 322 479 557 791 886 900 930 1019 1093 1133 1192 1212 1238 1273 1356 1381 1429 1480 1540 0 5 39 71 174 306 385 567 580 605 637 674 680 681 1088 1233 1240 1287 1387 1524 13 80 148 192 223 313 342 363 400 482 509 542 549 622 691 774 853 932 1127 1185 0 13 98 270 354 581 632 695 696 709 724 774 785 824 972 1006 1327 1408 1440 1509 167 245 257 336 414 456 494 605 688 767 819 864 877 933 1039 1192 1202 1313 1362 1558 0 101 262 391 413 436 464 557 562 644 709 789 845 940 1001 1083 1151 1352 1460 1588 46 148 354 445 482 570 663 681 691 776 985 1063 1098 1129 1212 1310 1366 1432 1542 1557 0 3 101 148 215 248 420 494 496 562 682 779 864 1160 1337 1382 1420 1499 1527 1615 0 79 223 322 417 434 518 586 612 706 791 889 948 1022 1080 1197 1267 1362 1473 1544 98 125 142 148 330 474 491 566 660 681 746 861 937 1001 1061 1112 1163 1261 1310 1403 131 223 259 445 616 746 853 861 1017 1067 1145 1195 1232 1381 1407 1434 1497 1518 1560 1562 0 119 351 491 541 564 648 918 987 1079 1198 1293 1319 1340 1432 1461 1478 1548 1583 1634 176 270 400 496 567 586 637 724 810 847 940 1062 1122 1220 1292 1338 1382 1434 1571 1634 0 39 101 131 223 270 336 385 575 648 709 891 987 1048 1138 1263 1361 1397 1458 1542 0 68 89 119 213 259 267 308 391 511 541 644 681 759 793 908 1229 1325 1387 1489 192 251 326 364 488 528 619 706 794 911 962 1017 1096 1125 1132 1230 1310 1415 1538 1558 0 89 235 276 349 424 458 546 570 640 708 779 847 854 1154 1220 1234 1513 1533 1582 0 88 215 313 385 417 657 772 798 936 996 1098 1137 1267 1343 1361 1434 1497 1512 1531 88 181 215 267 357 434 486 509 542 619 646 713 772 832 894 933 1018 1096 1275 1386 0 19 84 181 223 235 276 357 450 547 559 644 681 688 845 918 923 1015 1092 1261 1639 1562 1263 1583 1630 1639 1640 1634 1593 1469 1589 1640 1638 1635 1528 1603 1640 1626 1460 1352 </values> </instantiation>