Name | csp/fapp/fapp35/ normalized-fapp35-1500-9.xml |
MD5SUM | fb81abe9ad9e3c26d2d93322f7bc814c |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 57.0313 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1500 |
Number of constraints | 22067 |
Maximum constraint arity | 2 |
Maximum domain size | 698 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 22067 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2352 2104 -1794 -1850 2158 -2336 -1868 -2168 -1694 -2256 -2108 -2286 1904 -2196 1720 -2224 2184 1802 -2214 -2254 -2100 -2224 -1876 -2318 -2034 -1682 -2060 -2004 -2376 1852 -1984 -2318 2060 -2132 -2222 -1908 2376 -2210 -1686 1806 -2246 -1724 -1950 -1768 -1830 2290 -2326 -1778 2208 2230 -1736 -1996 -1872 -2300 -2078 -1854 -2172 -2224 2088 -1906 2130 -2368 -1800 -2206 2136 1692 -2172 2016 -2100 2264 1706 2338 1946 -1728 -2260 2010 -2030 -1964 -2286 -1728 1734 -1680 -1764 -2082 -2360 -2076 -2356 -2336 -1924 1998 -1872 -2198 -2326 -1846 -2126 1966 2354 -2000 -1944 -2268 -2260 -1864 -2138 2042 2130 2234 2048 1776 -2098 -2102 -1774 -2320 -1880 -1996 2256 -1966 -2030 1818 -1802 2002 -1728 -1786 -2336 1798 2254 2112 -2026 -2074 2286 -2356 -2104 1790 -1858 1988 -1922 2140 -1854 -1916 -1732 1686 1820 -2028 -2336 2276 -2302 -2192 -1736 -2028 -1914 -2136 -2336 -2290 2204 -2250 -2286 -1814 1904 1746 2308 -2032 2328 2044 1816 -1862 2184 2250 2044 2012 -2070 -1712 -2224 -2316 -1696 1898 -2168 1770 -2210 2062 2168 -2168 -2166 -2050 2066 -1946 2000 -2246 -2026 -1916 -2376 -2336 1732 -1728 -1698 1682 -1688 2208 -2114 2194 1802 -2264 1924 -2282 -2132 -2174 2214 -2230 -2286 -1832 -1754 -2238 -1818 1986 -2070 2228 -2100 2168 2224 -2376 -2040 -2178 -2254 2020 1856 2030 2076 -2356 1772 -2276 -2356 2324 1958 -1740 -1874 -2132 -2286 2260 -2206 1732 -2334 -1944 -1740 -2314 2156 -1918 2290 -1892 -2092 -2010 1942 2228 -1712 -1880 2210 2228 1732 -2336 -2120 -1692 2128 -2060 -2114 -2098 2096 -2010 -1896 2286 -2038 2252 -2160 1982 -1692 -1878 -2208 -2122 -1748 -1720 -2066 -1680 -2182 -2316 -1688 1772 -1788 1798 1748 -1910 -2212 -2268 -2336 -2140 -2214 1802 2022 2100 -1876 -1744 -2120 -2238 -2092 -1682 2246 1810 -2346 1730 -2018 2258 -1924 2324 -1820 -2026 1696 -1720 -2210 -1798 -1824 -2132 -2286 -2134 -1906 1930 -1982 2250 -2362 -2120 -1720 2148 -1842 2130 2090 -1994 2292 2170 2208 2206 -2356 2300 -2336 1688 1882 -1772 -2356 2376 -2234 -1930 -2098 -1882 1738 -2224 -2168 -2294 2092 1986 -1896 1732 -2070 -2142 -1688 1680 2066 -2168 -2208 -2262 1982 -2316 1876 -1894 -2336 -2336 -1838 -2218 -2264 -1952 2208 1720 -1844 -2234 -2172 -1878 -1850 1828 -1688 -1938 2050 -1890 2142 -1828 -1872 2322 -2216 -1880 -2282 -1864 -2168 2046 -2328 2188 -2230 2248 -1774 -1692 -1858 1680 1992 2036 -1732 -2326 -2376 2316 -2204 -1938 -2128 -2144 -2218 -1720 1762 2276 -2340 -1884 2216 -2140 -1772 -2066 -1896 1880 -1680 2274 -1960 -1922 -2076 1940 2130 -1870 -1752 1762 2130 2194 1976 -2220 2146 -2132 -2286 1732 -2168 -2184 -2072 -1742 -2320 -2092 -2292 1680 1720 -2224 -2284 -1866 -2224 1972 -2336 -2206 -1798 -2190 -2082 2154 1764 1830 2200 -1988 -2002 -1742 1802 -2326 -2036 1864 1680 -1984 1884 -2300 2208 2036 -2018 -2154 1916 1680 -2264 2254 2010 1870 2156 -1720 -2264 -2238 1936 2018 -2300 2264 -1796 -2336 -2030 1722 2374 -2376 -1924 2000 -2170 -2264 -2206 -1786 2158 1764 1920 -2248 -2142 -2294 2158 1992 1780 -2370 -1724 -2316 1838 -1992 2188 2202 -2246 2246 1864 1702 2100 -2314 2062 -2352 2134 -2078 -2008 1970 1994 2056 2332 -1824 1856 2354 -2202 -1728 -1876 -1680 -2292 2278 -1944 -1996 -2330 -2326 -2286 2274 -1882 -2326 -2278 1812 1938 2160 -2264 -1916 -1860 -2334 1958 1984 -2088 2070 -2324 -2032 1842 -1840 -2326 -2102 1804 -2140 2058 -1840 -2250 2060 -2262 -2084 1920 -1694 -1786 1810 -2376 -2356 -1750 2042 -1730 -1920 -2318 1968 -2246 -2314 1838 2060 -2186 2144 2336 -2316 -2308 -1756 -1852 1720 2060 1800 -1756 1918 1754 -1788 1836 -2376 2284 -2336 -1680 -1720 -2142 -1680 -1990 2206 2100 1996 2074 -2360 2174 -2224 -1966 -1890 2116 -2100 -2098 -1948 1984 -2264 -2140 2126 1728 1698 -1766 -1728 2220 -2068 -2336 -2020 -2242 2334 -1914 2080 -2292 -1720 1902 -1878 -2374 2376 -1924 2170 -1992 1964 -2334 2110 1720 -2224 -1964 -1872 -1684 2174 -1728 -2136 2362 -2160 2284 -1812 -2210 1814 -2058 -1898 -2080 -1926 1976 1822 1800 -2142 -2092 1994 -2170 -2250 1860 1876 2144 -1948 -1992 -1734 -1696 -2168 -1960 -1946 -2092 1988 1850 2004 1942 -2078 1718 -2190 2032 -1680 -2090 -2118 2074 -2264 -1916 -2316 2264 -2124 -1920 -1730 -2210 -1748 -2290 2176 2214 -2214 -2336 -2008 2262 -1774 -1826 2214 2150 1738 2076 -2182 2334 1722 -2376 2314 -1912 2060 1874 -1896 1724 2108 -2054 -1872 -1858 2072 1720 -2130 1690 1904 -1708 -2096 -1814 -2334 -2286 -1738 -2140 -2314 2050 -2212 2194 -1700 2178 -1842 -2012 -2306 2156 1776 -1944 2318 1764 -2172 -2030 2012 -2334 -2358 1966 -1682 2070 -2022 -1900 -1970 2144 -2232 1852 -2186 -2032 2326 -1714 -1680 -2002 -2326 -1680 2064 -1722 -2190 1720 1838 -1916 -1726 -1728 -2142 -2116 -1916 -2198 2332 -2146 1878 -2088 1814 2364 -2068 -1708 -2208 -2252 -1720 1898 -2334 2298 2242 2256 -1682 -2224 -2376 -1812 -2028 2316 2188 -2088 -1926 2192 -2212 1750 -1684 -2288 -2376 -1680 -2060 -1956 1942 2252 -1988 2184 -2210 -1738 -1840 -2330 2086 -2208 -2376 -1806 -2042 1748 -1874 1796 1688 1726 -2070 1702 -1826 -1710 -2182 2264 -2090 1952 2148 2278 -2160 -2336 -2078 -2176 -2194 -2038 -2118 2252 -1728 -2336 2206 2098 -1758 -2030 -2010 -2148 -2102 2206 1984 -1720 -2068 -2070 -1990 -2204 1884 2038 -1910 2316 -1804 -2104 2208 2184 -1986 2312 1914 -2316 -2042 -2208 -1712 2268 -2336 -1790 -2264 -2376 -1916 -1876 -2126 -1866 -2246 2224 1954 -2088 -2182 -2326 1744 -2376 -2246 -1776 -2208 -1788 -1916 -1786 -2356 -2040 -1698 1864 -1876 2166 -2336 -2168 -1908 -1858 2006 1982 2278 2284 -2250 -2020 -2126 -2138 -2140 -2128 2154 -1680 1920 -2142 -1812 -2296 2048 2026 -2010 1686 2052 -2328 1682 2154 1752 1810 -2210 -2050 -2354 -2336 -2294 -2140 -2322 -2376 -2250 -2326 -1782 -1968 1766 -2116 -1838 2060 2208 -1936 -1726 1842 1880 1690 -2062 -1918 2330 -2162 -1680 -1862 -1780 1706 -1692 -1866 -2322 -1992 1876 2270 -2376 -1850 2174 1802 2336 -2184 -2216 1704 1880 -2092 2244 1910 2022 -1732 2214 1704 2180 2332 1752 2276 -2334 -2104 -1910 2216 2176 2288 -2182 -1990 1950 -1904 -2228 -2214 -1938 -2376 -2294 -2164 1872 -2340 1920 1856 2174 -2376 -2182 -2368 -2286 2336 2024 -2278 -2280 2376 -1878 -1834 -1684 2236 2020 2026 1680 1902 -2132 -2132 -1746 -2006 -2132 -1744 -2100 1964 -2092 1774 2290 -2122 1970 -2166 -1698 -1942 1826 1784 1948 -2376 -1688 -2224 1740 -1926 -1990 -2228 -1816 -2160 -2058 -1722 1726 -2050 1774 -2030 -1840 -2030 2264 -2092 1936 1818 -2146 -2356 -2076 -2286 -1936 -2224 -2066 -1838 -1920 -1922 -1680 2136 -2336 1886 -2224 2196 -2286 -2354 -2376 -1876 2350 -1880 -1720 2198 -2286 -2356 -1972 -2032 -1942 -2026 -2264 -1966 -1738 2116 -2328 -2058 -2336 2208 -1690 -1724 -1680 1700 1870 -2322 1734 -2038 -1712 2314 -2140 -2120 -2100 -2324 -1916 -1924 2286 2256 -2376 1734 -2030 1842 -1688 -1940 -2066 -1684 1720 1754 -1960 2236 2354 -1754 2094 -1836 -1956 -1680 -2252 -2090 -1796 2098 -1768 -2202 -2332 2294 -2294 2320 1842 -2168 -2180 -1828 2026 -1846 2270 2376 -1680 -1724 2036 1746 -2132 -2038 -2210 -2128 -1800 -1684 -2090 1884 -1726 -2026 -1752 -2316 1780 -1880 -1982 2362 -2166 -2098 -2336 2224 1832 1724 1982 2036 1746 -2336 -2268 1956 -1846 1720 2040 2334 1912 -2134 -1954 -1692 -2066 -2086 2076 -2288 1998 -2258 1912 2294 2330 1740 -2224 -2138 -2100 2322 -1688 2082 -2218 -2164 -2128 -2336 -2122 -2164 2354 -2104 -2260 -2022 -2174 -1726 -2270 -1692 -2170 -2334 -2006 -2168 -2040 -2182 -2356 -2026 -2230 1736 -2168 1890 -2138 -2224 -1720 1768 2336 -1864 1952 -1882 -2100 -1890 2004 2324 1870 1978 -2316 2082 1912 -2358 -1694 -2336 -1708 -1720 -1926 -2294 -1680 2170 2046 -1700 -2224 -1876 1918 1720 -1720 2190 1720 -2376 1884 1686 -2118 2230 2376 2222 2102 -1886 -2264 2042 -2028 -2316 1728 2048 1788 -2092 1740 -2120 -2376 -2138 2046 1840 -2132 -2058 -2144 -1822 2108 -2170 1738 -2348 -1740 -2376 2086 -2028 -2372 2316 -1814 2348 1730 -1828 1868 1896 1906 2194 2212 -2132 -2336 -2354 -2034 2128 -1838 -1886 -2356 -2264 -1878 -2198 2128 -2210 -2132 -2164 2116 2222 -2166 -1690 -1858 -1904 -1896 -1684 -2336 -1900 2098 -2238 -2182 -1736 1818 2310 -1798 -2282 -1698 1832 2160 -2180 -1708 -2152 -2088 -1748 2254 2124 2224 -1846 2376 2238 -1898 -2364 1910 2292 -1982 -2376 1804 2006 -2250 2150 2234 -2248 -2376 2264 -2028 -2248 -1722 -2106 -2316 1876 -1936 2162 -2294 -2224 -2130 2168 -2176 2248 2034 -1972 -2144 1722 1784 2250 -2000 2246 -2062 -1930 -2254 -2310 -1760 -2308 2224 2314 1904 -1696 -2110 2190 1986 1736 2154 2374 -2070 -2140 1722 -2024 -2128 -2218 -2180 -1992 1714 -2228 -2304 -2312 -1916 -1724 -1870 -1794 -1680 -1748 2242 2290 -1720 -1680 -2316 -2318 -2292 -2142 2012 -2138 -2078 -2328 -2068 2356 1808 2114 -2376 -2208 1816 2158 -1868 1952 -2264 -2376 2034 1812 -2336 -2324 -2166