PB'09 competition: solvers results per benchmarks

Result page for benchmark
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb

Jump to solvers results

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark23.0745
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint124
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 numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009) (complete)1869732OPT52 23.0745 23.0811
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 (complete)1869733OPT52 46.4339 46.4575
wbo 1.0 (complete)1875507OPT52 304.568 304.698
bsolo 3.1 pb (complete)1879797OPT52 330.795 330.897
bsolo 3.1 cl (complete)1878367OPT52 331.278 331.365
bsolo 3.1 (complete)1876937OPT52 331.663 331.764
pbclasp 2009-04-24 (complete)1859054SAT (TO)52 1800.12 1800.63
SAT4J Pseudo CP 2.1.1 (complete)1857118SAT (TO)52 1800.36 1760.23
SAT4J Pseudo Resolution 2.1.1 (complete)1857119SAT (TO)52 1800.74 1798.59

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

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