Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 0.130979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
Solver Name | TraceID | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|---|
Open-WBO PB16 (complete) | 4086657 | OPT | 52 | 0.130979 | 0.131423 |
Open-WBO-LSU PB16 (complete) | 4084019 | OPT | 52 | 1.20482 | 1.20623 |
NaPS 1.02 (complete) | 4083007 | OPT | 52 | 1.40978 | 1.41142 |
minisatp 2012-10-02 git-d91742b (complete) | 4112737 | OPT | 52 | 1.9387 | 1.9399 |
Sat4j PB 2.3.6 Resolution PB16 (complete) | 4085521 | OPT | 52 | 885.44 | 882.707 |
Sat4j PB 2.3.6 Res+CP PB16 (complete) | 4081441 | OPT | 52 | 1747.81 | 877.321 |
cdcl-cuttingplanes OPT linear search 2016-05-01 (complete) | 4088326 | ? (TO) | 1800.02 | 1800.3 | |
toysat 2016-05-02 (complete) | 4079815 | ? (TO) | 1800.03 | 1800.43 | |
cdcl-cuttingplanes OPT binary search 2016-05-01 (complete) | 4087669 | ? (TO) | 1800.03 | 1800.31 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
objective function: 52x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137 x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 -x343 -x346 -x348 -x353 -x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x371 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x391 -x393 -x395 -x397 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x407 -x409 -x410 -x412 -x415 -x421 -x422 -x423 -x424 x425 -x426 -x428 -x431 -x433 -x434 -x436 -x456 -x457 -x459 -x502 -x503 -x505 -x519 -x539 -x541 -x542 -x543 -x544 -x545 x547 -x565 -x568 -x575 -x592 -x593 -x595 -x597 -x599 -x606 -x608 -x609 -x611 -x617 -x619 -x624 -x626 -x630 -x631 -x633 -x637 -x639 -x649 -x650 -x652 -x654 -x655 -x657 -x673 -x675 -x693 -x702 -x704 -x706 -x725 -x728 -x729 -x731 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x761 -x774 -x775 -x776 -x777 x778 -x780 -x784 -x785 -x786 -x788 -x795 -x796 -x797 -x799 -x806 -x808 -x814 -x816 -x828 -x833 -x834 -x835 -x837 -x840 -x842 -x846 -x847 -x849 -x868 -x873 -x876 -x878 -x882 -x923 -x927 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x944 -x951 -x952 -x953 -x955 -x974 -x991 -x992 -x994 -x1001 -x1019 -x1021 -x1026 -x1028 -x1031 -x1032 -x1033 -x1034 -x1036 -x1081 -x1083 -x1085 -x1086 -x1087 -x1089 -x1132 -x1133 -x1135 -x1138 -x1139 -x1141 -x1145 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1155 -x1157 -x1159 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1177 -x1182 -x1185 -x1186 -x1187 x1188 -x1190 -x1196 -x1198 -x1204 -x1206 -x1208 -x1215 -x1221 -x1223 -x1228 -x1229 -x1230 -x1232 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1243 -x1245 -x1246 -x1247 -x1248 -x1249 -x1251 -x1253 x1254 -x1256 -x1272 -x1273 -x1274 -x1276 -x1279 -x1280 -x1282 -x1284 -x1285 -x1287 -x1292 -x1294 -x1299 -x1305 -x1308 -x1326 -x1334 -x1349 -x1350 -x1351 -x1353 -x1371 -x1376 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1402 -x1410 -x1411 -x1412 -x1413 -x1415 -x1417 -x1418 -x1420 -x1436 -x1438 -x1442 -x1456 -x1462 -x1463 -x1465 -x1467 -x1469 -x1475 -x1477 -x1479 -x1480 -x1482 -x1488 -x1489 -x1491 -x1505 -x1506 -x1507 -x1509 -x1520 -x1522 -x1526 -x1532 -x1534 -x1536 -x1537 -x1538 -x1540 -x1543 -x1547 -x1549 -x1553 -x1556 -x1558 -x1561 -x1568 -x1570 -x1577 -x1580 -x1582 -x1583 -x1585 -x1589 -x1592 -x1598 -x1601 -x1604 -x1607 -x1609 -x1622 -x1624 -x1628 -x1630 -x1632 -x1636 -x1641 -x1659 -x1665 -x1668 -x1670 -x1672 -x1677 -x1684 -x1691 -x1709 -x1715 -x1717 -x1719 -x1727 -x1729 -x1730 -x1731 -x1733 -x1751 -x1754 -x1757 -x1764 -x1768 -x1773 -x1789 -x1791 -x1793 -x1797 -x1819 -x1821 -x1824 -x1826 -x1828 -x1832 -x1833 -x1835 -x1838 -x1840 -x1850 -x1852 -x1855 -x1875 -x1877 -x1880 -x1882 -x1883 -x1885 -x1891 -x1900 -x1902 -x1904 -x1905 -x1907 -x1914 -x1917 -x1919 -x1921 -x1923 -x1925 -x1929 -x1936 -x1950 -x1952 -x1954 -x1956 -x1958 -x1967 -x1968 -x1969 -x1971 -x1976 -x1977 -x1978 -x1980 -x1984 -x1993 -x1995 -x1998 -x2004 -x2009 -x2017 -x2020 -x2022 -x2027 -x2028 -x2030 -x2039 -x2059 -x2061 -x2063 -x2065 -x2083 -x2085 -x2086 -x2088 -x2090 -x2091 -x342 -x347 -x352 -x21 -x22 -x23 -x24 -x370 -x25 -x26 -x27 -x28 -x387 -x29 -x396 -x30 -x31 -x406 -x32 -x411 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x458 -x49 -x504 -x50 -x51 -x52 -x53 x546 -x54 -x55 -x594 -x56 -x57 -x58 -x59 -x610 -x60 -x61 -x62 -x63 -x632 -x64 -x65 -x66 -x67 -x68 -x656 -x69 -x70 -x71 -x72 -x705 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x744 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x815 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x881 -x100 -x101 -x102 -x103 -x104 -x105 -x935 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x1035 -x118 -x119 -x120 -x1088 -x121 -x1134 -x122 -x1140 -x123 -x124 -x125 -x126 -x127 -x128 -x1158 -x129 -x130 -x692 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x427 -x1176 -x150 -x151 -x153 -x154 -x155 -x156 -x157 -x1197 -x158 -x159 -x1214 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x1255 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x1307 -x1325 -x1333 -x183 -x184 -x185 -x186 -x1352 -x187 -x188 -x1375 -x189 -x190 -x192 -x193 -x1401 -x194 -x195 -x196 -x197 -x198 -x199 -x1419 -x200 -x1437 -x201 -x1441 -x202 -x1455 -x1464 -x203 -x204 -x1476 -x205 -x206 -x1481 -x207 -x208 -x209 -x1490 -x210 -x211 -x212 -x1508 -x213 -x214 -x1525 -x215 -x216 -x217 -x218 -x219 -x220 -x1533 -x221 -x222 -x223 -x224 -x225 -x1539 -x226 -x230 -x1548 -x231 -x232 -x1304 -x233 -x234 -x1286 -x235 -x236 -x1560 -x237 -x238 -x1569 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x1584 -x1588 -x1591 -x1154 -x247 -x1597 -x248 -x249 -x250 -x251 -x252 -x1608 -x253 -x254 -x255 -x256 -x1623 -x1627 -x257 -x258 -x1635 -x259 -x1640 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x1676 -x270 -x271 -x1690 -x1708 -x272 -x273 -x1718 -x274 -x275 -x276 -x277 -x278 -x618 -x279 -x280 -x281 -x282 -x283 -x1732 -x284 -x285 -x286 -x287 -x1756 -x288 -x289 -x1767 -x1772 -x293 -x294 -x295 -x1796 -x296 -x297 -x298 -x1827 -x299 -x300 -x301 -x302 -x303 -x304 -x1854 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x1928 -x1935 -x318 -x319 -x1957 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x2029 -x2038 -x333 -x334 -x2064 -x335 -x336 -x337 -x2087 -x339 -x340 -x344 -x345 -x349 -x350 -x351 -x358 x354 -x355 -x356 -x357 -x360 -x372 -x373 -x374 -x375 -x392 -x376 -x377 -x389 -x390 -x394 -x398 -x408 -x413 -x414 x416 -x564 -x538 -x417 -x1082 -x418 -x419 -x420 x429 -x430 -x432 -x435 -x437 -x438 -x926 -x439 -x440 -x441 -x638 -x442 -x787 -x443 -x444 -x445 -x446 -x447 -x867 -x730 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x567 x460 -x461 -x462 -x518 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x724 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x674 -x598 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x506 -x507 -x836 -x508 -x943 -x509 -x510 -x1144 -x511 -x512 -x841 -x513 -x1027 -x514 -x515 -x701 -x516 -x517 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x1020 -x827 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x540 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x566 -x569 -x872 -x570 -x571 -x572 -x573 -x574 -x576 -x577 -x807 -x578 -x579 -x651 -x580 -x581 -x582 -x583 -x779 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x596 -x600 -x601 -x602 -x603 -x604 -x605 -x607 -x612 -x613 -x614 -x615 -x616 x620 -x621 -x622 -x623 -x625 -x627 -x628 -x629 -x634 -x635 -x636 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x653 -x658 -x659 -x660 -x993 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x703 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x732 -x733 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x781 -x782 -x783 -x789 -x790 -x791 -x792 -x793 -x794 -x798 -x800 -x801 -x922 -x802 -x803 -x804 -x805 x809 -x810 -x811 -x812 -x813 -x817 -x818 -x819 -x820 -x821 -x877 -x822 -x823 -x824 -x825 -x826 x829 -x830 -x831 -x832 -x838 -x839 -x843 -x844 -x845 -x848 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x869 -x870 -x871 x874 -x875 -x879 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x1000 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x924 -x925 -x928 -x937 -x938 -x939 -x940 -x941 -x942 -x945 -x946 -x947 -x948 -x949 -x950 -x954 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x995 -x996 -x997 -x998 -x999 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1022 -x1023 -x1024 -x1025 -x1029 -x1030 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1084 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1136 -x1137 -x1142 -x1143 -x1146 -x1156 -x1160 -x1161 x1178 -x1179 -x1180 -x1181 -x1183 -x1184 -x1203 -x1388 -x1189 -x1191 -x1192 -x1193 -x1250 -x1194 -x1195 -x1199 -x1236 -x1200 -x1231 -x1201 -x1202 -x1205 -x1207 -x1209 -x1210 -x1211 -x1212 -x1213 -x1281 -x1216 -x1217 -x1218 -x1219 -x1220 -x1370 -x1222 x1224 -x1392 -x1225 -x1275 -x1226 -x1227 -x1233 -x1238 -x1242 x1244 -x1252 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1298 -x1269 -x1270 -x1271 -x1277 -x1278 -x1283 -x1288 -x1289 -x1290 -x1291 -x1293 -x1295 -x1296 -x1297 -x1300 -x1301 -x1302 -x1303 -x1306 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1372 -x1373 -x1374 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1390 -x1394 -x1396 -x1398 -x1399 -x1400 -x1403 -x1404 -x1405 -x1406 -x1521 -x1407 -x1408 -x1409 -x1414 -x1416 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1468 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1439 -x1440 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1457 -x1458 -x1459 -x1460 -x1461 -x1466 -x1470 -x1471 -x1472 -x1473 -x1474 -x1478 -x1483 -x1484 -x1485 -x1486 -x1487 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1542 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1523 -x1524 -x1527 -x1528 -x1529 -x1530 -x1531 -x1535 -x1541 -x1544 -x1545 -x1546 -x1550 -x1551 -x1576 -x1552 -x1554 -x1579 -x1555 -x1557 -x1559 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1571 -x1572 -x1573 -x1574 -x1575 -x1578 -x1581 -x1586 -x1587 -x1590 -x1593 -x1594 -x1595 -x1596 -x1599 -x1750 -x1667 -x1763 -x1664 -x1600 x1602 -x1726 -x1603 -x1605 -x1606 -x1610 -x1658 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1625 -x1626 -x1629 -x1631 -x1633 -x1634 x1637 -x1638 -x1639 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1660 -x1661 -x1662 -x1663 -x1666 -x1669 -x1671 -x1673 -x1674 -x1753 -x1675 -x1714 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1710 -x1711 -x1712 -x1713 -x1716 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1728 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1752 -x1755 x1758 -x1759 -x1760 -x1761 -x1762 -x1765 -x1766 -x1769 -x1770 -x1771 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1790 -x1792 -x1794 -x1795 -x1823 -x1798 -x1799 -x1800 -x1839 -x1890 -x1801 -x1802 -x1803 -x1834 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1997 -x1812 -x1813 -x1814 -x2008 -x1815 -x1816 -x1817 -x1818 -x1820 -x1822 -x1825 -x1829 -x1920 -x1830 -x1831 -x1836 -x1876 -x1837 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1949 -x1849 -x1851 -x1853 -x1856 -x1857 -x1858 -x1859 -x1906 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1979 -x1871 -x1872 -x1873 -x1874 -x1878 -x1879 -x1881 -x1884 -x1886 -x1913 -x1887 -x1901 -x1994 -x1924 -x1888 -x1889 -x1892 -x1916 -x2003 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1903 -x1908 -x1909 -x2016 -x1910 -x1911 -x1912 -x1915 -x1918 -x1922 -x1926 -x1927 -x1930 -x1931 -x1932 -x2060 -x1933 -x1934 -x1953 x1937 -x1938 -x1939 -x2021 -x1940 -x1941 -x1942 -x1943 -x2082 -x1944 -x1970 -x1945 -x1946 -x1947 -x1948 -x1951 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1972 -x1973 -x1974 -x1975 -x1981 -x1982 -x1983 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1996 -x1999 -x2000 -x2001 -x2002 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2062 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2084 -x2089