CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp31/
normalized-fapp31-0400-6.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-6.xml
MD5SUM5437bff566491bef6c75b023202900b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark114.448
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3003
Maximum constraint arity2
Maximum domain size700
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3003
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC1086811SAT 114.448 115.502
Abscon 112v4 ESAC1086812SAT 127.651 128.811
cpHydra k_101086813SAT 161.351 163.665
cpHydra k_401086814SAT 179.55 181.893
Sugar v1.13+picosat1086800SAT 409.6 412.068
Sugar v1.13+minisat1086801SAT 617.477 623.961
SAT4J CSP 2008-06-131086799? 0.796878 0.873525
galac E1086806? (problem) 0.579911 0.672012
galac M1086805? (problem) 0.612906 0.679417
Concrete + CPS4J 2008-05-301086796? (TO) 1800.01 1807.52
Mistral-prime 1.3131086808? (TO) 1800.02 1806.41
Concrete + CSP4J - WMC Engine 2008-05-301086795? (TO) 1800.03 1801.12
casper zito1086810? (TO) 1800.04 1808.01
MDG-probe 2008-06-271086797? (TO) 1800.04 1806.21
casper zao1086809? (TO) 1800.04 1813.62
Concrete + CSP4J - Tabu Engine 2008-05-301086794? (TO) 1800.09 1811.02
MDG-noprobe 2008-06-271086798? (TO) 1800.09 1809.01
bpsolver 2008-06-271086802? (TO) 1800.1 1800.91
Mistral-option 1.3141086807? (TO) 1800.1 1801.11
choco2_impwdeg 2008-06-261086803? (TO) 1800.14 1801.09
choco2_dwdeg 2008-06-261086804? (TO) 1800.19 1814.4
Minion/Tailor 2008-07-041105580Wrong UNSAT 4.13437 4.34534

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found:
-2484 2376 1404 1980 -1780 -1380 -2600 2600 2068 2288 2268 2352 2256 -2600 -2404 -2172 -1592 -2500 -2560 -1340 -1672 -2412 -2600 -1336 2600
-2560 -1788 -1248 -2288 1632 2432 -2256 -1816 -2068 -2248 -1364 -1244 -1940 -2484 -2308 -2600 -2332 -2600 2440 -2456 -2288 2100 1820 -2600
-2192 -1652 -1976 -2492 1384 -1672 1348 -1380 -2044 -1296 -2532 -2416 1816 -1944 -2560 -2148 2012 -1672 2540 1660 -1768 1824 -2372 -1424
-1968 2040 -1744 -2552 -1968 -2600 -1216 2248 -1204 -2348 -2248 1288 1628 -1828 -2380 -1412 2224 1856 1916 -2600 -2472 -2560 -1204 -2228
-2312 -2600 -2600 1204 -1852 -1564 -1752 1668 -1240 -2188 -2444 -1204 -2208 -1388 -1952 1940 -1348 -1256 1556 -1204 -1364 -1524 -1264 1600
2216 -1300 1204 2284 -2040 -1324 -1396 -2188 1456 -1596 -1340 1436 2420 -2600 1328 1516 -1300 -1748 -2268 -2560 -2248 -2444 -2024 -1868
-2392 -1244 -2416 -1692 -1712 -1240 -2024 -1248 1276 1532 -1224 -1632 -2600 1972 -2028 1792 -1572 -1280 2452 -2600 -1784 -1984 -1420 -2448
-2504 -1720 -2560 1552 -1320 -2228 -1244 -2560 2096 -2428 -1976 -2200 -2420 -2440 1724 -2168 2508 -1604 -2572 -1704 1992 -1396 -1472 -2484
-1912 -1864 -1288 -2600 1784 2348 -1256 -1280 -1328 -1364 -2060 -2468 -2600 -1324 -1280 -1468 -2236 -2560 -1368 -1548 -1620 -1428 -2156
-2600 -1484 1204 -1244 -1856 -1336 -2548 -1764 1744 -1388 -1824 -1372 -2560 -2416 -1572 -1564 -1764 -1476 -1900 -1244 -1256 -1224 -2000
-2228 -2480 -1264 -1720 -1508 -1388 2276 -1344 -2108 -2560 -1436 -1244 -2600 -1292 -2184 -1260 -2444 -2600 -1436 -2420 -1252 -2560 -1428
2108 -2560 1868 1860 -2560 -1476 -1348 -2560 -2456 2352 -1728 -2308 -2008 -2580 1204 1652 -1872 -1284 -2560 2512 -1496 -2244 1436 -2480
-2152 -1412 -1296 -2600 1792 -1820 -2212 -1244 -1844 -1388 -2240 1724 -2208 -2560 1864 -2560 2380 -1768 -2068 -2560 -1404 2288 -1612 2544
-1524 -2560 -2248 -2560 -2512 -1244 1948 -2600 -1880 -1496 -1592 -2560 -1984 -1648 -2292 -1356 -1524 1344 -1264 -2008 -2464 1908 -1640 -2116
-2016 -2332 -1384 -1204 -2560 -1532 -1812 -1964 1760 -2076 -2460 1244 -1956 -1364 -1216 -2528 -2444 1484 -1608 -2388 -1832 2372 1508 1840
1536 1712 -1204 -2348 2228 2600 -2004 2560 -2504 -1244 -1372 -1244 -1908 -1564 2056 -1984 -2472 -2016 -1884 -1512 2380 -1244 -2036 -1308
-1236 -1396 -1524 -2408 -1216 2568 -1384 -1924 -2080 -1208 -1204 1316 2108 -2216 1760 -1224 -1808 -1904