| Name | csp/fapp/fapp35/ normalized-fapp35-1500-7.xml |
| MD5SUM | f8967b949e05aa4191b080a54ba762cf |
| 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 | 63.3024 |
| 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) | 2097835 | SAT | 63.3024 | 63.5056 |
| Abscon 112v4 ESAC (complete) | 2097836 | SAT | 64.8751 | 65.5358 |
| SAT4J CSP 2.1.1 (complete) | 2083516 | ? | 0.611906 | 0.684269 |
| Concrete DC 2009-07-14 (complete) | 2083520 | ? | 503.36 | 506.284 |
| bpsolver 09 (complete) | 2083526 | ? (exit code) | 10.4284 | 10.5293 |
| Concrete 2009-07-14 (complete) | 2083519 | ? (exit code) | 516.198 | 520.303 |
| Sugar v1.14.6+minisat (complete) | 2083523 | ? (MO) | 474.215 | 480.666 |
| Sugar v1.14.6+picosat (complete) | 2083522 | ? (MO) | 554.542 | 811.372 |
| Mistral 1.545 (complete) | 2083525 | ? (TO) | 1800.05 | 1812.92 |
| pcs-restart 0.3.2 (complete) | 2083518 | ? (TO) | 1800.08 | 1812.96 |
| pcs 0.3.2 (complete) | 2083517 | ? (TO) | 1800.13 | 1801.34 |
| Choco2.1.1 2009-06-10 (complete) | 2083521 | ? (TO) | 1800.15 | 1809.69 |
| Choco2.1.1b 2009-07-16 (complete) | 2116829 | ? (TO) | 1800.25 | 1812.2 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2356 2114 -1792 -1850 2158 -2366 -1868 -2166 1680 -2254 -2104 -2278 -1904 -2198 1720 -2222 2182 1798 2212 -2244 -2100 -2224 1878 -2320 -2030 -1682 -2054 2006 -2376 1844 1986 -2318 2056 -2132 -2224 1898 2376 -2210 -1688 -1804 2246 1720 -1938 -1762 -1828 -2294 -2326 -1780 2208 2230 -1732 1996 1880 2298 -2074 -1856 2172 -2224 2088 1906 2130 -2370 -1798 -2206 -2138 1698 2168 2016 -2100 2264 1712 2338 1944 1730 2178 2012 2026 -1966 -2286 -1730 -1734 -1680 1758 2076 -2358 -2074 2354 -2326 -1926 2002 -1864 -2198 2326 -1844 -2128 1968 -2356 -1992 -1944 -2264 2260 -1866 -2140 2044 -2132 -2234 2052 1778 -2098 -2100 -1774 -2318 -1892 1996 2258 -1972 -2028 1818 -1798 2004 -1728 -1782 -2336 1802 2254 -2110 -2030 -2076 2286 -2350 -2102 1792 -1858 1982 -1920 -2140 -1858 -1916 -1728 1684 1820 2026 -2336 2272 2228 -2192 -1736 -2030 -1912 -2136 -2336 -2322 -2206 -2250 -2286 -1808 1904 1744 2308 -2034 2344 2044 1810 -1858 2184 -2258 -2046 -2018 2066 -1710 -2224 -2314 -1692 1894 -2168 -1768 -2212 2062 2170 2170 -2164 -2050 -2066 -1946 2000 -2246 -2026 -1920 -2376 -2336 1734 -1728 -1694 1680 -1690 -2214 -2114 -2198 1802 -2264 1924 2286 -2132 -2168 2204 2222 -2286 -1824 1754 -2238 -1810 1988 2070 2230 -2100 -2168 2222 -2376 2042 -2176 2250 2024 1860 -2028 -2076 -2356 1776 -2276 -2356 2324 -1954 -1742 -1874 2132 -2286 2266 -2206 1738 -2334 -1944 -1740 -2246 -2158 -1918 -2294 -1894 -2092 2006 -1942 -2224 -1714 -1878 2218 2216 1734 -2336 -2114 -1688 2128 2060 -2108 2098 2096 -2010 1886 -2286 -2036 -2246 -2162 1978 -1690 1880 -2208 -2120 -1744 -1720 -2068 -1680 -2182 -2314 -1688 1728 -1786 1796 1752 -1910 -2204 2256 2336 -2140 2208 1798 2018 -2106 -1876 -1740 -2122 -2238 -2090 -1680 2244 -1810 -2346 1732 -2012 2258 -1920 2324 -1818 -2028 1696 1720 -2202 -1800 1828 2132 -2286 2134 -1906 1928 -1982 2242 -2362 -2120 -1720 2148 -1844 2126 -2092 -1990 2294 2170 2208 2198 -2356 2300 -2342 1688 1880 -1774 -2376 2376 -2238 -1932 -2100 -1888 -1720 -2224 -2168 -2294 -2092 1982 1898 -1728 -2070 -2142 -1690 1680 -2070 -2168 -2208 2268 1984 -2316 1872 -1898 2336 -2336 -1836 2212 -2264 -1956 -2208 1720 -1848 2234 -2174 -1878 -1846 1826 -1688 -1938 2052 1892 2142 -1828 1866 2314 -2218 -1884 -2282 -1864 2174 2044 -2326 2190 -2228 2238 -1778 -1688 1854 -1728 1992 2036 1732 -2326 -2376 2314 -2202 -1938 -2132 -2144 -2218 -1720 1766 2272 -2338 1888 2220 -2140 1764 -2066 1906 1880 1680 2274 -1962 -1922 2078 -1942 -2130 -1870 -1750 1758 2130 -2202 1976 -2220 2144 -2128 -2286 1732 -2168 2186 -2068 -1740 -2320 -2092 -2292 1680 -1720 -2224 -2286 -1866 -2226 1978 -2336 -2206 -1800 2190 -2082 -2154 1764 -1832 2198 1980 -2004 1744 1802 -2326 -2036 -1862 1680 -1984 -1882 -2306 -2278 2034 -2018 2162 -1918 -1680 -2264 -2252 2010 1870 -2162 -1720 -2262 -2236 1934 2018 -2300 -2376 -1800 -2336 -2030 1722 -2376 -2376 -1922 1998 -2168 -2264 -2206 1784 -2156 1760 -1918 2254 -2142 -2294 -2162 1994 -1786 -2370 -1734 -2316 1840 -1990 2184 2204 -2246 -2246 -1864 1704 2100 -2314 2068 -2350 -2138 -2076 -2010 -1970 1998 2058 -2334 1820 -1866 -2352 2206 1730 -1880 -1680 -2286 2278 -1944 -1996 -2332 -2326 -2286 2274 1882 -2326 -2276 1816 1934 2158 -2264 -1918 -1858 -2334 1962 -1984 -2088 -2074 -2336 -2030 1838 1844 2326 -2102 1800 -2138 2062 -1836 -2250 2060 2260 -2084 -1918 -1710 -1790 -1806 -2376 -2354 -1744 -2044 1720 -1918 -2320 1970 -2244 -2316 1840 2064 2186 -2144 2336 -2316 -2310 1760 1842 1720 2060 1796 -1760 1918 1752 -1784 1840 -2376 2284 -2336 -1682 -1722 -2142 -1680 -1990 2212 2106 1996 2068 -2366 2174 -2224 -1974 1892 2118 2096 -2098 -1940 1984 -2264 -2142 2124 1728 1700 -1768 -1732 2218 2070 -2336 2012 -2246 -2336 -1914 2082 -2336 -1720 1904 -1878 -2376 2376 -1926 2170 1994 1966 -2336 2110 1720 2224 -1962 -1876 -2110 -2178 -1730 -2136 -2366 -2154 2282 -1804 -2208 1808 -2058 1898 2078 -1924 1974 1820 1802 -2142 -2092 1998 2170 -2248 1860 1876 2146 -1946 1994 1750 1714 2164 1952 -1944 -2088 -1986 1852 2002 -1944 -2076 1722 2188 2028 -1680 -2082 -2122 2076 -2264 -1916 -2310 2262 -2124 -1916 -1732 -2210 -1742 -2290 2180 2210 -2208 -2336 1994 -2264 -1766 -1830 2214 -2154 1740 -2068 -2182 2336 1720 -2376 2316 -1906 2060 1872 1886 1722 -2122 2050 -1872 -1850 2070 1720 -2132 1688 1906 1710 2098 -1806 2334 -2284 1736 2138 -2312 2050 2208 2194 1700 2178 -1838 2008 -2306 -2158 1774 -1944 2318 1766 -2172 -2026 2016 -2334 -2354 1962 1680 2070 -2024 -1900 -1968 2142 2240 1854 -2178 2030 2318 1716 1758 1994 -2326 -1680 2074 -1720 -2188 1720 1836 1906 1728 1734 -2142 2122 1916 -2198 2332 2138 1882 -2092 1818 -2376 -2066 1712 -2208 -2252 -1720 1898 -2332 2298 2244 2254 -1682 -2224 -2376 -1688 -2022 -2312 2188 -2092 -1928 -2200 -2212 1746 -1694 -2286 -2376 -1680 2052 -1956 1944 -2376 -1988 2186 -2208 -1742 -1842 -2334 2086 -2208 -2376 -1810 -2034 1746 1866 1798 -1690 1722 -2068 1700 -1822 -1704 -2182 -2262 -2090 1954 -2144 2280 2160 2300 2074 -2178 -2194 -2034 -2118 2244 -1728 -2336 2204 -2100 -1762 -2030 -2010 -2162 -2098 2208 1988 -1688 -2070 -2070 -1988 -2204 1880 2036 1898 -2316 -1798 -2104 2214 2186 -1984 -2316 1906 -2316 2038 -2208 1716 2268 -2336 -1786 -2264 2302 -1916 1866 -2126 -1862 -2248 2222 1958 -2092 -2182 -2326 1748 -2376 -2238 1774 -2210 -1782 -1916 -1788 -2356 2038 -1696 1860 -1880 2166 -2352 -2168 -1908 -1858 2008 -1984 2280 2284 -2250 -2014 -2128 -2138 -2146 -2128 2154 -1680 1922 -2142 -1802 -2296 2048 -2028 -2010 1680 2052 -2326 1684 2158 1754 1808 -2208 -2042 -2354 -2336 -2294 -2140 -2322 -2376 2250 -2326 -1788 -1954 1764 -2118 -1840 2066 -2204 -1938 -1720 1842 -1878 1692 2058 -1916 -2334 2162 -1680 -1860 -1782 1706 -1694 1866 -2322 -1990 -1876 2268 -2376 1840 -2162 1804 2336 2184 -2214 1708 -1876 -2092 2242 1910 2022 -1730 2216 -1706 -2182 -2334 1752 2274 -2334 -2104 -1910 2214 2176 2286 -2182 -1994 1954 -1904 -2224 -2214 -1932 2326 2292 -2164 1872 -2340 1920 1850 2174 2340 -2182 -2304 -2286 2336 2028 -2278 -2280 -2376 -1876 -1834 -1682 2238 2020 -2022 1680 1898 2132 -2132 -1746 -2004 2134 -1746 -2098 1956 -2092 1768 2292 -2116 1966 -2168 -1702 -1944 1822 1788 -1938 -2376 -1688 -2224 -1746 1932 -1990 -2228 -1814 -2160 -2052 1720 1724 -2050 -1768 -2034 -1852 -2030 -2264 -2092 1926 1818 2146 -2356 -2076 -2286 1936 -2224 -2066 -1840 -1920 -1928 -1680 2136 -2336 -1886 -2222 -2198 -2286 2286 -2376 1876 2350 -1880 1720 -2196 -2286 -2356 -1976 -2030 -1942 -2026 -2264 -1964 -1734 -2118 -2326 2058 -2336 -2210 1692 2070 -1680 1704 1872 -2326 -1738 -2034 -1712 -2316 -2140 -2120 -2100 -2324 -1916 -1926 -2286 2256 -2376 -1720 -2030 1842 1690 1940 -2068 -1688 1720 1752 1958 2236 2356 1756 -2090 -1838 1956 1680 -2272 -2092 -1800 2102 1770 -2202 -2332 -2294 -2294 2326 1846 -2168 -2180 -1824 2026 -1842 2272 2286 -1682 -1720 2036 1748 -2130 2036 -2208 -2128 -1810 -1680 -2086 1886 -1804 -2028 1756 -2316 -1782 -1878 1984 2354 -2166 -2100 2336 -2226 1832 -1728 1978 -2036 1752 -2336 2258 1956 -1850 1720 2038 2334 1916 -2202 -1954 -1692 -2066 2088 2078 -2286 1994 -2252 1916 -2294 2330 -1742 -2224 -2140 -2100 2326 1692 2078 -2218 -2164 2132 -2336 -2122 -2166 -2356 -2104 -2260 -2018 2174 -1728 2182 -1692 2172 -2334 -2008 -2168 -2040 2184 -2356 -2026 -2230 -1740 -2092 1888 -2140 -2224 -1720 -1774 2336 -1866 1954 -1886 -2100 1880 1996 -2326 1870 1974 -2312 2080 1912 -2358 1698 -2336 -1704 -1720 1934 -2294 1680 -2168 2048 1700 -2224 -1876 1922 1720 -1718 -2194 1722 2312 1884 1682 -2118 2228 2376 -2224 2108 1888 2262 2042 -2030 -2316 -1730 2052 1786 -2092 1744 -2120 -2376 -2138 2044 1838 -2132 -2058 -2144 -1828 2108 -2162 -1740 -2346 -1740 -2376 2084 -2028 -2372 -2336 -1816 2350 -1728 1826 1866 -1900 1906 2196 2212 -2132 -2336 -2356 -2036 -2132 -1842 1882 -2356 -2264 -1880 -2198 2318 -2210 -2132 2164 2108 2220 -2166 -1680 1854 1902 -1896 -1680 -2336 -1902 2098 -2238 2182 -1754 1814 2312 -1796 2286 -1680 -1840 2160 -2180 1704 -2152 -2092 -1744 2256 2124 -2222 -1846 2376 2238 1892 -2364 1912 -2294 -1982 -2376 -1806 2002 -2248 2148 -2236 -2250 -2376 -2264 -2030 2248 -1722 2104 2316 -1878 1926 -2166 -2294 -2224 -2122 2278 -2176 2248 2036 1968 -2144 -1724 -1780 2282 1998 2252 -2060 -1928 -2248 -2310 1770 -2306 -2230 -2316 1906 1700 -2110 2190 1984 1738 2154 -2376 -2066 -2140 -1806 -2026 -2126 -2216 -2178 -1990 -1712 -2218 -2336 -2310 -1912 -1724 -1788 -1794 -1680 1750 2242 -2290 -1720 -1680 -2314 2314 2312 -2142 2012 -2138 -2076 -2330 -2070 2354 -1802 2118 -2376 -2210 -1814 2158 -1868 1952 -2270 -2376 2038 1804 -2336 -2322 -2166