PB'12 competition: satisfaction and optimization track: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41202
Best CPU time to get the best result obtained on this benchmark244.379
Has Objective FunctionYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1945
Total number of constraints3355
Number of constraints which are clauses3355
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 constraint55
Number of terms in the objective function 1036
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1671510
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1671510
Number of bits of the biggest sum of numbers21
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 NameTraceIDAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver (complete)3736360OPT41202 0.162974 0.162419
PB07: bsolo 3.0.17 (complete)3736356OPT41202 0.25596 0.263197
npSolver 1.0 (fixed) (complete)3749890OPT41202 244.379 244.442
npSolver inc (fixed) (complete)3748294OPT41202 244.51 244.595
npSolver 1.0 (complete)3700733OPT41202 467.042 467.138
npSolver inc (complete)3699137OPT41202 473.798 473.937
pb2sat 2012-05-19 (complete)3695945OPT41202 482.378 482.532
PB07: minisat+ 1.14 (complete)3721630SAT (TO)46032 1800.1 1800.51
PB12: minisatp 1.0-2-g022594c (complete)3723034SAT (TO)46032 1800.1 1800.51
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 (complete)3736359SAT (TO)46240 1800.19 979.337
PB11: Sat4j Res//CP 2.3.0 (complete)3736361SAT (TO)48835 1800.04 970.252
SAT 4j PB RES // CP 2.3.2 Snapshot (complete)3688534SAT (TO)49380 1800.11 963.649
Sat 4j PB Resolution 2.3.2 Snapshot (complete)3688535SAT (TO)52440 1800.09 1796.46
PB07: SAT4JPseudoResolution 2007-03-23 (complete)3736357SAT (TO)54052 1800.44 1792.04
PB09: SAT4J Pseudo Resolution 2.1.1 (complete)3736358SAT (TO)54052 1800.65 1793.93
SAT4J PB specific settings 2.3.2 snapshot (complete)3710185SAT (TO)55081 1800.04 1796.37
npSolver inc-topdown-quickBound (fixed) (complete)3751486? (problem) 154.87 155.824
npSolver inc-topDown (fixed) (complete)3746698? (problem) 156.16 156.644
npSolver inc-topDown (complete)3697541? (problem) 307.27 307.478
toysat 2012-06-01 (complete)3724630? (TO) 1800.02 1800.31
toysat 2012-05-17 (complete)3706257? (TO) 1800.02 1800.31
pb2satCp2 2012-05-19 (complete)3694349? (TO) 1800.09 1682.61
npSolver inc-topdown-quickBound (complete)3702329? (TO) 1800.44 1817.32

Additionnal information

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

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