Name | csp/fapp/fapp35/ normalized-fapp35-1500-3.xml |
MD5SUM | e300dafa26bcab4445d58a8b5c31c7b7 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 439 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112898 | MSAT (TO) | 439 | 3600.01 | 3608.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112897 | MSAT (TO) | 441 | 3600.01 | 3605.83 |
Sugar v1.13+minisat | 1112902 | ? | 721.902 | 733.961 | |
Sugar++ v1.13+minisat-inc | 1112901 | ? | 726.581 | 735.015 | |
AbsconMax 112 pc-d | 1112900 | ? | 2028.6 | 2044.7 | |
AbsconMax 112 pc-w | 1112899 | ? | 2100.06 | 2120.36 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 439-2356 -2114 -1772 1840 -2158 2316 -1684 2166 1690 2278 -2102 1820 2222 2198 -1720 2224 -2186 2308 -2214 1858 -2098 -2258 1876 -1684 2032 -1720 -2044 2010 -2374 -2292 -1984 1740 1910 2128 2222 2106 -1702 2218 -2366 -1804 -2368 -1720 -2058 2376 -1692 2294 2324 -1744 -1750 1854 -2376 -2336 -1746 2314 -2074 -1830 1680 -2250 -2004 -1894 2104 -2370 -1782 2206 2136 1686 2172 2020 2100 2262 2354 2336 1688 1722 2260 -2018 -2034 1966 2314 1720 -1752 1680 1740 -2090 -2368 -1722 2356 -2364 -1926 -1930 2270 2196 2326 1844 2126 1974 -2354 -1998 -2182 2296 2260 1864 -2138 -2052 -2130 -2236 -2060 -1686 2096 2096 -1712 2328 -1886 -2052 -2258 1968 -1682 -1814 2316 2012 1690 -2350 2374 1802 -1828 1990 2028 -2054 -2312 2348 -2104 -1790 -1854 -2116 2188 2138 -1846 1918 -1704 -1722 -1826 -2026 2240 -2376 -1768 -2196 -1742 2026 -2196 2136 -1720 -2366 2206 2250 2286 2326 -1902 -1720 -2310 2032 -2334 -2050 2324 -1854 -1764 -2262 -2016 -2016 2068 1764 2224 -1680 -2372 -1890 2170 1764 2208 -2068 2176 -2168 -2160 -2010 -2080 -1950 2000 2304 -2028 -1924 2376 2336 -1742 -1704 -1736 -2374 -2342 2216 2114 2204 1796 2258 1744 2282 2132 -2172 -1898 -2246 -2286 -2310 -1722 2236 -2324 -1972 2088 1856 2098 -2174 -2226 -2376 -2040 2172 -2294 -2030 -1848 -2028 -2074 -2356 1758 1812 -2352 1690 2066 -1744 -1836 2132 -2046 -1800 -2206 -1726 2334 -1942 -1742 -2284 -2164 1918 2294 -1904 -2092 -2094 -1942 -2208 -1684 1876 2222 1880 1702 2330 1984 -1692 2332 -2062 2114 2100 2082 -1970 -1968 -1696 -2036 2374 -1926 1972 1688 1768 2208 -2118 -1744 -1722 2066 1680 2182 -2316 -1690 1746 1780 1794 -1700 2214 -1890 1840 -2310 -2140 -2230 2336 -1968 1682 1878 -1716 1966 -2238 -2092 -1730 -2252 -1782 -2364 1680 2084 2258 -2188 1712 1814 2026 -1702 1690 1904 -1796 1800 2132 -2298 -1878 1904 -2168 1982 -1864 2268 -1982 1724 -2372 1828 2132 2088 1992 2290 -1930 -2362 -1896 -2354 -2300 -2334 1706 2228 -1742 -2376 -2344 2234 2170 -2098 1880 -1732 -2224 2170 2310 2092 -2124 1888 1728 2052 2142 1692 1682 -2048 1934 -2214 2264 -1994 2308 -2236 1886 -2376 2354 1834 2216 2262 -1878 -2208 -1702 1824 -2372 -2180 1878 -2290 -2310 1688 -1938 -2058 2244 -2144 -1724 1858 -1782 -2218 1858 1792 1862 -2176 2050 -2342 -1896 -2224 -2254 1748 -1688 -1858 1694 -1992 -2032 -1698 -2326 -2354 2332 2202 2164 2128 2142 -1874 1720 -1680 -2342 -2354 -1864 -1866 -2138 2372 2080 2142 -1876 -1680 -2332 1960 -1922 2080 -1942 -2132 -2252 1724 -2376 1970 2210 -1980 -2220 2146 2114 2284 -2264 2168 2260 -2074 -1730 -1718 -2080 -2312 1734 2376 2218 2284 -1864 2230 1976 2346 -2206 1796 -1894 2072 -2154 -1752 1750 2234 1984 -1998 -1700 -1798 -2326 2034 2246 -1680 -1984 -1880 -2306 2294 -1682 2020 1904 1892 -1680 -2260 2254 -2014 2254 -2154 2330 2264 -1858 2172 -2018 -2376 -2350 1778 2304 2038 -1722 2334 2372 1920 -1998 2170 -2264 -2206 1760 -1856 2374 -1922 -1824 -2142 2294 -2190 2000 1744 1690 1720 -2356 1724 -1990 -2168 2206 2260 -2274 -2274 1692 2102 -1764 2074 2316 2118 -2018 2014 2130 2004 -2058 2330 -2292 -1858 2312 -2202 -1720 -1864 1680 -2334 -1780 -1944 -1998 2334 2324 2322 2276 1882 -2322 -1798 1798 2174 2274 2264 1918 1854 2334 1970 -1984 2086 1976 2328 2032 2276 -1818 2282 2104 -2334 2134 -2070 -2296 1778 -2140 -2336 -2010 1916 -1686 -1722 -2330 2376 2372 1746 -2038 -1726 1916 -2356 -1974 2244 2350 -1808 -2070 2224 -2140 1766 2314 -1778 1738 -2182 -1684 -2058 2336 1754 -1920 2374 -2354 -1824 2374 1796 2336 -1684 -2226 2140 -1768 -1994 -2214 -2108 -2004 2074 2362 2242 -2222 -1950 1882 -2120 -2186 2100 -1944 1982 2260 2120 -2120 -1720 -1692 1690 -1720 2220 -2070 -2334 -2020 -2270 1726 1910 -2080 2306 1718 -2224 1880 2376 2376 -1894 -2204 1992 -1966 -1770 -2110 -1696 1724 -2142 -1854 -2034 2158 -1710 2134 -2376 -1944 -2340 -2332 -1864 2330 -2060 -2244 2062 1906 2132 2290 -1794 -2140 -2092 1960 -2170 1824 1866 -2258 -2158 1954 -1994 1726 1680 2164 -1958 -1942 2074 -1994 -1860 2102 1942 -2076 1680 2184 -2038 -1680 -2056 -2106 2078 2264 2184 2308 2264 1970 1916 1740 2210 -1732 2374 -1906 -2254 -2212 2304 -2078 2262 2370 -1682 2218 2150 1704 -2028 -2180 1694 2334 2360 -2312 1898 2038 2236 -2118 1822 -2124 -2052 -1868 2284 -2030 1722 -2128 1700 -1904 1680 -2098 -2330 2334 2284 -1722 2138 -2272 -1684 -2212 -2336 -1696 1914 -2376 -2012 2306 -1858 -1750 -1944 -2374 -1758 -2168 2028 -2016 -2332 -1712 -2144 -2374 2078 2034 -1898 -1974 -2144 2238 1864 2176 -2030 -1780 -1680 -1750 2022 -2324 1680 -2074 -1690 2190 -1682 2276 1936 -1730 1682 2140 -2114 1910 -2198 -2376 -2136 1872 2092 1788 2368 -2066 -2366 -2252 2282 -1720 -1888 -2334 -2296 -2246 -1830 -1682 -2224 2294 -1786 -2076 -2336 2190 -2100 1916 1858 2208 1712 1680 -2296 -2254 2372 2060 2086 2184 -2346 -1984 2190 -2208 -1770 -1834 -2334 2086 -2210 2376 -1806 -1982 -1740 -1870 -1792 1688 2376 -2068 -1690 2310 1706 2182 -2264 2092 -1950 -2142 1784 -2160 -1750 2074 2176 -2192 -2034 2118 -1850 1688 -2334 -2204 2098 -1720 -2032 1686 2164 -2104 -2208 -1996 -1734 -2066 2004 -1722 2200 2228 -2058 -1964 -1752 -1700 -2102 -1784 2118 1982 -2338 -2092 -2354 -2018 -2236 1694 2270 -2320 -1752 2264 2374 1916 -2176 -2126 -1860 -1836 -2224 -1920 2092 -2180 -2324 -1764 2376 -1856 1768 2216 -1692 -1916 1782 2354 2022 -1682 -2252 1884 2166 -2308 2168 -1904 1854 -2014 1984 -2316 -1776 -2264 2084 -2128 -2142 -1722 -2126 2296 1736 -1920 2140 -1802 -1766 -2046 -2032 -2090 1768 -2058 1778 1684 -2160 -1680 1804 -2208 2016 1724 1690 -2292 2138 2308 2344 1750 2278 1748 2038 -2374 -2042 1836 -2068 -2204 -1928 1808 1838 -1876 -2348 -2064 -2220 -2334 2172 -1686 2250 1784 1696 1702 1854 1752 1964 -1876 -2268 -2376 -2184 1830 1788 -2336 -2186 -2238 -1724 1876 -2090 -2248 -2212 -2028 -1696 -1872 -1680 2160 -2334 1682 2304 2334 -2100 1814 1870 -2176 -1818 2182 1994 1954 2234 2256 2282 -1938 -2356 -2330 -1930 -1870 -2368 -1902 -2284 2178 1710 -2180 2374 -2344 -2336 2036 -2350 -1758 1680 -2260 1796 1862 -2238 1998 -2062 -1730 1894 -1720 -2052 -1736 2008 2140 -1740 2098 1960 2092 -2370 2294 -2130 -2134 -2166 -2334 -1944 1820 1760 2016 -2372 -1760 2220 2314 -1928 -2000 2230 1790 1942 2044 2334 -2374 1726 2366 2016 -1846 2040 2264 -2088 1930 -1814 -2324 -2354 -2072 2288 2172 2224 2068 -1836 1916 1920 -1680 2122 -2336 1878 2224 -1818 -2282 -2324 2370 1876 1690 -1862 1720 -2292 2318 -2348 -1976 -2004 -1942 -2040 2264 1946 -2376 -1844 2336 1992 2336 -2208 1684 2074 -1758 -1700 1870 -2322 -1680 -2034 -1722 2282 -2140 -2120 -2098 1756 -1918 -2318 2282 1832 -2376 1730 -2034 -1836 1680 -1938 -2044 -1688 1684 -1726 1958 -1852 -2350 1720 2092 -1832 -1950 -2366 2264 2090 1794 -2110 -1682 -2204 2308 2294 2294 -2322 -1740 -2196 -2178 -2314 -2040 -1844 2298 -2324 -1680 -1710 -2044 1742 2132 -2036 2210 1974 -1812 -1680 2092 1854 2334 2012 1734 -2314 -1760 1882 1982 1742 2166 2100 2330 -2220 -1828 2278 -2008 2012 -1686 -2334 1838 -1958 1846 1720 2046 -2332 -1918 2196 1950 1680 2066 -2088 2082 2288 -2026 2256 1814 2294 2330 -2310 -2224 2138 2100 -2336 -1680 -1882 2218 -2160 -2130 2332 -2132 -2166 -2354 -2100 2266 2012 -1838 -1730 -2206 -1688 -2168 2334 2014 2372 -2040 -2182 2356 2026 -2238 2314 -2090 2248 2140 -2222 -1694 1722 2314 2188 -1954 -1890 -2100 -1884 -2000 2324 1854 2134 2302 2078 -1910 -2374 2372 2332 1704 -1686 -1910 -1788 2376 -2168 2054 -2304 2220 -1878 1912 1726 -1710 -2190 1688 2348 -1784 1690 2120 -2228 1680 2244 -2114 -2102 2264 -2032 -2026 -2316 -1728 2060 -1688 2092 1740 2120 -2370 -2286 2048 1822 -2130 2058 2140 -1788 2332 2166 -1732 2344 2294 1726 -2090 2024 2348 2336 -1790 -1688 1740 -1806 -2270 -1888 -1910 -2196 -2242 -2120 1992 -2352 2036 -2132 -1842 -2124 1700 2264 -1882 -2196 1714 2210 -2132 -2166 -1988 -2376 -2166 1686 1850 -2206 2212 1680 2336 1902 -2102 2236 2180 1720 -1818 2370 -2316 2310 1692 1706 2160 2178 1720 2156 2100 2360 1832 -2126 -2224 -1838 1682 2310 -1712 -1716 -1910 2294 -1982 2280 -1798 -2104 -2248 2150 -2236 1838 2374 -2256 -2030 2266 1680 -2106 -2316 1878 -2072 2162 -2292 -2224 2126 2296 -2174 2322 -2038 -1972 -1842 1724 -1756 2326 2006 2254 -2056 -1934 -2270 1730 1772 2372 -2226 2310 2148 -2354 -2372 -2192 -1728 1726 2152 -1730 2074 -2138 1720 -2024 -2126 2212 2174 1992 -1686 -1882 -2310 -2276 2196 -1712 -1732 1762 1680 -2296 -2244 -1710 1718 1682 -2344 -1752 2304 -2146 -2018 -2140 2076 1754 -2066 -1712 -2336 -2120 -2350 1878 1808 -2160 1864 -1952 2266 -1684 -2044 -2332 2334 2300 2166