Name | csp/fapp/fapp31/ normalized-fapp31-0400-7.xml |
MD5SUM | b6ccf6de2a96d16153e1dfc9d32ad1be |
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 | 176.203 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097860 | SAT | 176.203 | 176.823 |
Abscon 112v4 AC (complete) | 2097859 | SAT | 184.471 | 186.233 |
Concrete 2009-07-14 (complete) | 2083651 | SAT | 193.646 | 195.426 |
Sugar v1.14.6+picosat (complete) | 2083654 | SAT | 343.025 | 346.763 |
Sugar v1.14.6+minisat (complete) | 2083655 | SAT | 518.969 | 533.613 |
SAT4J CSP 2.1.1 (complete) | 2083648 | ? | 0.610907 | 0.683906 |
Concrete DC 2009-07-14 (complete) | 2083652 | ? | 317.882 | 321.025 |
bpsolver 09 (complete) | 2083658 | ? (exit code) | 35.4756 | 35.8895 |
Mistral 1.545 (complete) | 2083657 | ? (TO) | 1800.03 | 1806.81 |
Choco2.1.1b 2009-07-16 (complete) | 2116841 | ? (TO) | 1800.07 | 1809.16 |
pcs 0.3.2 (complete) | 2083649 | ? (TO) | 1800.1 | 1811.96 |
Choco2.1.1 2009-06-10 (complete) | 2083653 | ? (TO) | 1800.14 | 1803.11 |
pcs-restart 0.3.2 (complete) | 2083650 | ? (TO) | 1800.17 | 1803.26 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2492 2380 1204 -1992 1792 -1360 -2600 2600 2076 2288 2312 -2276 -2252 -2600 -2392 2176 -1588 -2500 -2560 -1336 -1636 -2416 2540 -1328 2600 -2560 -1800 -1248 -2232 -1676 2428 -2260 -1816 -2040 2276 -1244 -1244 -1936 2488 -2316 -2600 -2312 -2600 2440 -2440 -2288 -2068 -1812 -2600 -2188 -1632 -2008 -2464 -1376 1724 -1456 -1344 -2052 -1296 2540 2400 -1880 -1916 -2580 2144 1948 -1636 -2600 1628 -1736 -1840 -2376 1420 -2064 1996 -1696 2556 -1972 -2560 -1204 -2248 -1228 -2400 -2248 -1288 -1648 1820 -2380 -1416 -2192 1840 1884 -2600 -2472 -2560 -1416 -2272 -2316 -2600 -2560 1204 -1824 -1556 -1768 1608 -1204 -2200 -2448 -1204 -2208 -1332 -1960 1952 -1324 -1244 -1696 -1204 -1396 -1524 -1264 1588 2212 -1296 1204 -2292 -2044 -1296 -1392 -2192 -1480 1656 -1384 -1428 -2420 -2560 -1280 1476 -1320 1760 -2260 2600 2272 2352 -1992 -1860 -2380 -1244 -2416 -1668 -1676 -1244 -2008 -1248 -1244 1532 -1236 1620 -2600 1908 -2000 -1808 -1572 -1276 -2504 -2600 -1736 -1952 -1400 -2452 2504 1728 -2560 1548 -1316 -2232 -1376 -2560 2064 -2444 -1972 -2200 -2424 -2424 1680 -2168 -2600 -1516 -2580 -1708 2000 -1392 -1480 -2488 -1912 -1872 -1292 -2600 -1800 -2276 -1244 -1284 -1332 -1336 2028 -2484 -2600 -1316 1244 -1528 -2244 -2560 1320 -1516 -1588 -1428 -2160 -2600 -1436 1244 -1268 -1856 -1256 -2560 -1720 1748 1384 -1832 1408 -2560 2420 -1580 -1556 -1708 -1436 -1896 -1244 -1268 -1224 -1956 -2240 -2480 -1276 -1744 -1476 -1388 2284 -1336 -2116 -2560 -1352 -1260 -2600 1288 -2152 -1280 2448 -2600 -1452 -2420 1248 -2600 -1424 -2068 -2560 -1872 -1852 -2560 -1412 -1372 -2560 -2456 2340 -1696 -2316 -2024 -2560 1204 -1628 -1872 -1220 -2560 2516 -1520 -2252 1432 -2464 -2148 -1368 -1288 -2600 -1800 -1832 -2216 -1244 -1812 -1416 -2240 -1668 -2212 -2560 1864 -2600 2380 -1708 2028 -2560 -1356 2316 -1592 2524 -1520 -2560 2252 -2560 -2512 -1244 -1940 -2600 -1820 1484 -1660 -2560 -1968 -1692 2272 -1348 1516 1336 -1264 -2012 -2464 1900 -1628 -2120 -2048 -2320 -1460 -1204 -2560 -1540 1784 -1960 1768 2072 -2460 1244 -1924 -1356 -1204 -2528 -2452 -1480 -1652 -2360 -1840 2360 1488 1860 1444 1764 -1204 -2276 2220 -2600 -2012 -2560 -2484 -1204 -1376 -1244 1912 1564 2024 -1956 -2468 -2012 -1852 -1520 2384 -1244 2032 -1364 -1204 1388 1476 -2412 -1228 2568 -1296 -1920 -2084 -1208 -1204 -1308 -2104 -2220 -1704 -1224 -1748 -1904