Name | csp/fapp/fapp31/ normalized-fapp31-0400-9.xml |
MD5SUM | bedba223a5500787a29a04735f75d2e4 |
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 | 144.181 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 3003 |
Maximum constraint arity | 2 |
Maximum domain size | 700 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3003 |
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:-2496 2360 1300 -1960 -1764 1352 -2600 2600 -2036 2228 2320 2332 2212 -2528 -2396 -2176 -1584 -2560 2488 -1360 -1656 -2420 -2600 -1336 2600 -2560 -1760 -1256 -2312 -1696 -2460 2196 1792 -2036 -2264 -1260 -1244 -1908 2488 -2304 -2600 -2296 -2600 -2600 -2444 -2288 -2088 -1792 -2600 -2192 -1640 -1944 -2496 -1380 -1672 -1484 -1336 -1988 -1308 2540 -2404 1812 -1924 -2560 -2240 1988 -1700 -2600 1608 -1748 1808 -2380 -1420 -2084 2004 -1700 2556 -2004 -2560 -1216 2268 -1204 -2360 -2248 -1312 1624 -1796 -2384 -1452 2184 1852 1888 -2464 -2396 -2388 1412 -2280 -2292 -2600 -2560 1204 -1804 -1284 -1768 -1664 1244 -2204 -2448 -1204 -2240 -1396 1932 -1920 1316 -1256 -1648 -1204 -1328 -1544 -1284 1608 -2172 -1320 1204 -2296 -1992 -1296 -1424 -2184 -1452 -1608 1376 -1440 -2420 -2560 -1288 1492 -1204 -1720 -2260 -2600 2272 -2356 -1992 -1836 -2352 -1244 -2452 -1648 -1740 -1204 -2044 -1272 -1304 1536 1236 1624 -2600 1948 -1996 -1808 -1576 -1300 -2456 -2600 -1740 1952 -1392 -2460 -2504 -1704 -2560 1544 -1340 -2224 -1372 -2560 2060 2524 -2084 -2232 -2368 -2428 -1700 -2200 -2520 -1324 -2580 -1668 1972 -1412 -1460 -2488 -1892 -1884 -1300 -2600 -1768 -2276 -1204 -1244 -1340 -1336 2048 -2484 2408 -1332 1204 -1480 -2168 -2560 -1328 -1524 1648 -1420 2104 -2600 -1444 1204 -1244 -1832 -1348 -2560 -1740 1708 -1380 -1844 -1356 -2560 2400 -1544 -1584 -1728 -1452 -1868 -1880 -1244 -1220 -1964 -2244 -2560 -1276 -1688 -1484 1380 -2208 -1352 -2076 -2560 -1384 1260 -2600 -1300 -2144 -1244 -2448 -2588 -1292 -2424 -1260 -2600 -1420 -2068 -2560 1836 1832 2504 -1332 -1356 -2560 -2492 2312 -1708 2316 -2044 2560 -1920 -1608 -1852 -1220 -2448 -2516 -1492 -2256 -1452 -2468 -2152 1396 -1296 -2348 -1780 1724 -2216 -1244 -1812 1444 2192 1688 2220 -2548 -1892 -2600 2380 -1756 -2108 -2560 -1368 2304 -1600 -2600 -1232 -2560 2260 -2560 -2356 -1244 -1888 -2600 -1864 1504 -1584 -2560 -2004 -1676 -2336 -1364 -1544 1340 -1260 -1964 -2464 1928 -1648 -2144 -1984 -2316 1380 -1204 -2560 -1504 -1764 -1968 1744 2100 -2600 1244 -1928 -1372 -1244 -2560 -2456 -1272 -1636 -2400 -1820 2356 -1520 1824 1464 -1712 1204 -2344 2220 2600 1948 -2560 -2560 -1244 -1412 -1244 -1876 1584 -2020 -1964 -2500 -2044 1852 -1500 -2328 1244 2060 1356 1344 1400 1484 -2420 -1284 2600 -1392 -1928 -2032 -1216 -1204 -1324 -2280 2156 1728 -1244 -1796 -1932