| 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.5612 |
| 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) |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| Abscon 112v4 AC (complete) | 2097833 | SAT | 57.5612 | 57.8592 |
| Abscon 112v4 ESAC (complete) | 2097834 | SAT | 59.6519 | 60.2656 |
| SAT4J CSP 2.1.1 (complete) | 2083505 | ? | 0.614905 | 0.682962 |
| Concrete DC 2009-07-14 (complete) | 2083509 | ? | 464.161 | 466.44 |
| bpsolver 09 (complete) | 2083515 | ? (exit code) | 10.2694 | 10.3161 |
| Concrete 2009-07-14 (complete) | 2083508 | ? (exit code) | 491.275 | 495.442 |
| Sugar v1.14.6+minisat (complete) | 2083512 | ? (MO) | 493.821 | 506.324 |
| Sugar v1.14.6+picosat (complete) | 2083511 | ? (MO) | 596.687 | 604.769 |
| Mistral 1.545 (complete) | 2083514 | ? (TO) | 1800.06 | 1808.41 |
| pcs-restart 0.3.2 (complete) | 2083507 | ? (TO) | 1800.07 | 1806.84 |
| pcs 0.3.2 (complete) | 2083506 | ? (TO) | 1800.09 | 1813.04 |
| Choco2.1.1b 2009-07-16 (complete) | 2116828 | ? (TO) | 1800.14 | 1817.23 |
| Choco2.1.1 2009-06-10 (complete) | 2083510 | ? (TO) | 1800.17 | 1802.89 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2352 2114 -1794 -1850 2156 -2336 -1868 -2166 -1696 -2256 -2108 -2286 1904 -2196 1720 -2224 2186 1802 -2214 -2254 -2100 -2224 -1876 -2318 -2034 -1684 -2060 -2004 -2376 1852 -1984 -2318 2060 -2132 -2222 -1908 2376 -2210 -1686 1806 -2246 -1724 -1950 -1768 -1830 2290 -2326 -1780 2208 2230 -1736 -1996 -1680 -2300 -2078 -1854 -2172 -2224 2088 -1906 2132 -2368 -1800 -2206 2136 1692 -2172 2016 -2100 -2264 -1704 2338 1946 -1728 -2260 2016 -2030 -1964 -2286 -1728 -1734 -1680 -1764 -2082 -2360 -2078 -2356 -2336 -1924 1998 -1872 -2196 -2326 -1846 -2126 1970 2354 -2000 -1944 -2268 -2260 -1868 -2138 2046 2130 2234 2054 1778 -2098 -2102 -1774 -2320 1888 -1996 2256 -1966 -2030 1822 -1802 2006 -1728 -1786 -2336 1796 2254 2112 -2026 -2074 2286 -2356 -2100 1790 -1862 1988 -1922 2140 -1854 -1916 -1732 1686 1820 -2028 -2336 2276 -2302 -2194 1736 -2028 -1914 -2136 -2336 -2290 2204 -2250 -2286 -1814 1908 -1742 2308 -2032 2328 2044 1816 -1862 2184 2252 2044 2012 -2070 -1782 -2224 -2316 -1696 1898 -2168 1770 -2210 2066 2168 -2168 -2166 -2050 2066 -1946 1994 -2246 -2026 -1916 -2376 -2336 1732 -1728 -1698 1682 -1688 2208 2116 -2198 1806 -2264 1924 -2282 -2132 -2174 2214 -2246 -2286 -1832 -1754 2236 -1818 1986 -2070 2228 -2100 2168 2226 -2376 -2040 -2178 -2254 2026 1856 2030 -2074 -2356 -1768 -2276 -2356 2324 1958 -1740 -1874 -2132 -2286 2260 -2206 1732 -2334 1942 -1740 -2314 2156 -1918 2290 -1892 -2092 -2010 1942 2228 -1712 -1880 2212 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 -1784 1798 1748 -1910 -2212 -2268 -2336 -2140 -2214 1802 2022 2102 -1876 -1744 -2120 -2238 2088 -1682 2244 1810 -2346 1730 -2018 2258 -1924 2324 -1820 -2026 1696 -1720 -2210 -1802 -1824 -2132 -2286 -2134 -1912 1930 -1982 2250 -2362 -2120 -1720 2148 -1842 2130 2090 -1994 2292 2170 2208 2206 -2356 2300 2336 1688 1882 -1772 -2372 2376 -2238 -1930 -2098 -1882 1736 -2224 -2168 -2294 2092 1986 1896 1732 -2070 -2142 -1688 1680 2066 -2168 -2208 -2262 1982 -2316 1876 -1894 -2336 -2336 -1838 -2218 -2264 -1950 2208 1720 -1844 -2234 -2172 -1878 -1850 1828 -1688 -1938 2056 -1890 2144 -1828 -1872 2322 -2216 -1880 -2282 -1868 -2168 2046 -2328 2188 -2230 2248 -1776 -1692 -1856 1680 1996 2036 -1728 -2326 -2376 2316 -2202 -1938 -2128 -2144 -2218 -1720 1762 2276 -2340 1884 2216 -2140 -1772 -2066 -1896 1880 -1680 2274 -1960 -1922 -2076 1940 2130 -1870 -1742 1762 2130 2194 1976 -2220 2146 -2132 -2286 1732 -2168 -2184 -2072 -1742 -2320 -2092 -2292 1680 1720 -2224 -2284 -1872 -2224 1972 -2336 -2206 -1802 -2190 -2082 -2156 1764 1830 2200 -1988 -2002 -1742 1804 -2326 -2034 1864 1680 -1984 1884 -2300 -2288 2038 -2018 -2154 1916 1680 -2264 2254 2010 1870 2156 -1720 -2264 -2238 1936 2018 -2298 2264 -1796 -2336 -2030 1722 2374 -2376 -1924 2000 -2170 -2264 -2206 -1782 2158 1764 1920 -2248 -2142 -2294 -2164 1996 1780 -2370 -1724 -2316 1838 -1992 2188 2202 -2246 2246 1864 1702 2100 -2314 2068 -2352 2134 -2078 -2014 1970 2000 2056 2332 -1824 1856 2354 -2202 -1728 -1876 -1680 -2292 2278 -1944 -1998 -2330 -2326 -2286 2274 -1882 -2326 -2278 1808 1938 2160 -2264 -1916 -1860 -2334 1958 1984 -2088 2070 -2324 -2032 1842 -1840 -2326 -2104 1804 -2140 2064 -1840 -2250 2060 -2262 -2084 1920 -1694 -1784 1810 -2376 -2356 -1748 2042 -1722 -1920 -2318 1974 -2246 -2314 1838 -2066 -2186 -2142 2336 -2316 -2308 -1756 -1852 1720 2060 1800 -1756 1918 1754 -1788 1836 -2376 2284 -2336 -1686 -1726 -2142 -1680 -1990 2206 2106 2000 2074 -2360 2172 -2224 -1966 -1890 2116 -2100 -2098 1948 1982 -2264 -2140 2126 1728 1698 -1766 -1726 2220 -2068 -2336 -2018 -2242 2334 -1918 2080 -2292 -1720 1902 -1878 -2374 2376 -1924 -2172 -1992 1964 -2334 2110 1718 -2224 -1964 -1872 -2108 2174 -1728 -2136 2360 -2160 2284 -1812 -2210 1814 -2058 -1898 -2080 -1926 1976 1822 1804 -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 -2124 2074 -2264 -1916 -2316 2264 -2124 -1920 -1730 -2210 -1744 -2290 2176 2214 -2214 -2336 -2008 2262 -1774 -1824 2214 2150 1740 2076 -2182 2334 1722 -2376 2314 -1912 2060 1874 -1896 1724 2108 2048 -1872 -1858 2072 1720 -2130 -1688 1908 -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 2140 -2232 1852 -2186 -2032 2326 -1714 -1680 -2002 -2326 -1680 2074 -1722 -2190 1720 1838 -1916 -1726 1744 -2142 -2116 -1916 -2198 2332 -2146 1878 -2088 1816 2364 -2068 -1708 -2208 -2252 1720 1898 -2334 2298 2242 2256 -1682 -2224 -2376 -1812 -2028 2316 2188 -2094 1918 2192 -2212 1750 -1684 -2288 -2376 -1680 -2058 -1956 1942 2252 1982 2184 -2212 -1738 -1844 -2330 2086 -2208 -2376 -1806 -2042 1744 -1874 1802 1688 1726 -2070 1702 -1826 -1708 -2182 2264 -2090 1956 2148 2278 2158 -2336 -2078 -2176 -2194 -2038 -2116 2252 -1728 -2336 2204 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 -1714 2268 -2336 -1790 -2264 -2376 -1916 -1876 -2126 -1866 -2246 2224 1954 -2088 -2182 -2326 1744 -2376 -2246 1772 -2208 -1784 -1916 -1792 -2356 -2040 -1698 1864 -1876 -2166 -2336 -2168 -1912 -1862 2012 1982 2278 2284 -2250 -2020 -2124 -2142 -2142 -2128 2154 -1758 1920 -2142 -1812 -2296 2048 2026 -2010 1686 2056 -2328 1682 2154 1752 1810 -2210 -2050 -2354 -2336 -2294 -2140 -2322 -2376 -2250 -2326 -1782 -1968 1766 -2116 -1842 2066 2208 -1936 -1726 1844 1880 1690 -2062 -1918 2330 -2162 -1680 -1862 -1780 1708 -1692 -1866 -2322 -1990 1876 2270 -2376 -1850 2174 1802 2336 -2184 -2216 1704 1880 -2092 2242 1910 2026 -1732 2214 -1706 2180 2330 1752 2276 -2334 -2102 -1910 2216 2176 2288 -2182 -1996 1956 -1904 -2228 2212 -1928 -2376 -2294 -2164 1876 -2340 1920 1856 2174 -2376 -2182 -2368 -2286 2336 2024 -2280 -2280 2376 -1878 -1834 -1684 2236 2020 2026 1680 1902 -2132 -2132 -1748 -2006 -2132 -1746 -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 -1848 -2030 2264 -2092 1936 1822 -2146 -2356 -2076 -2286 -1936 -2224 -2066 -1842 -1920 -1922 -1680 2136 -2336 1886 -2224 2196 -2286 -2354 -2376 -1876 2350 -1880 -1720 2198 -2286 -2356 -1972 -2030 -1942 -2026 -2264 -1966 -1738 2116 -2328 -2058 -2336 2208 -1690 -2068 -1680 1700 1876 -2322 1734 -2038 1712 2314 -2140 -2118 -2100 -2324 -1916 -1924 2286 2256 -2376 1736 -2030 1846 -1688 -1940 -2066 -1684 1720 1754 -1960 2236 2354 -1754 2088 -1842 -1956 -1680 -2268 -2090 -1796 2104 -1768 -2200 -2332 2294 -2294 2320 -1836 -2168 -2180 -1828 2026 -1846 2270 2376 -1682 -1720 2040 1752 2128 -2038 -2210 -2128 -1800 1684 -2090 1884 -1726 -2026 -1754 -2316 1780 -1880 -1982 2362 -2166 -2098 -2336 2224 1832 1724 1982 2036 1744 -2336 -2268 1958 -1846 1720 2040 2334 1910 -2134 -1958 -1692 -2066 2084 2076 -2288 1998 -2258 1912 2294 2330 1740 -2224 -2138 -2100 2320 -1686 2082 -2218 -2164 -2128 -2336 -2122 -2164 2354 -2104 2258 -2022 -2174 -1726 -2206 -1688 -2170 -2334 -2010 -2168 -2034 -2182 -2356 -2026 -2230 1736 -2168 1890 -2138 -2224 -1720 1784 2336 -1864 1952 -1876 -2100 -1890 2004 2324 1870 1978 -2316 2082 -1916 -2358 -1694 -2336 -1708 -1720 -1926 -2294 -1680 2170 2052 -1700 -2224 -1876 1918 1720 -1720 2190 1722 -2376 1884 1686 -2116 2230 2376 2222 2108 1878 -2264 2042 -2028 -2316 1728 2054 1788 -2092 1740 -2118 -2376 -2138 2046 1840 -2132 -2058 -2144 -1822 2108 -2170 1738 -2348 -1740 -2376 2086 -2022 -2372 2332 -1814 2348 1728 -1828 1868 1896 1906 2194 2212 -2132 -2336 -2354 -2034 -2128 -1836 -1886 -2356 -2264 -1878 -2198 2128 -2210 -2132 -2162 2116 2222 -2166 -1682 -1858 -1904 -1896 -1680 -2336 -1900 2102 -2238 -2182 -1736 1816 2310 -1798 -2282 -1696 -1720 2158 -2180 -1708 2154 -2094 -1748 2254 2122 2224 1846 2376 -2240 1888 -2364 1916 -2290 -1982 -2376 1804 2006 2252 2150 2234 -2248 -2376 2264 -2028 -2248 -1724 -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 1738 2154 2374 -2070 -2140 1722 -2024 -2126 -2218 -2180 -1992 1714 -2228 -2304 -2312 -1916 -1724 -1870 -1794 -1680 -1748 2240 2290 -1720 -1680 -2316 -2318 -2308 -2142 2016 -2138 -2078 -2328 -2068 2356 1808 2114 -2376 -2208 -1812 -2156 -1872 1956 -2264 -2376 2040 1812 -2336 -2324 -2166