CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-9.xml
MD5SUMbedba223a5500787a29a04735f75d2e4
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 benchmark144.181
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 AC1086853SAT 144.181 143.889
Abscon 112v4 ESAC1086854SAT 152.23 153.036
cpHydra k_101086855SAT 204.111 204.728
cpHydra k_401086856SAT 207.736 211.606
Sugar v1.13+picosat1086842SAT 381.123 385.573
Sugar v1.13+minisat1086843SAT 741.89 748.058
Concrete + CPS4J 2008-05-301086838SAT 1421.48 1435.04
SAT4J CSP 2008-06-131086841? 0.827873 0.802576
galac M1086847? (problem) 0.439933 0.516152
galac E1086848? (problem) 0.444932 0.519037
Concrete + CSP4J - WMC Engine 2008-05-301086837? (TO) 1800.03 1805.82
casper zao1086851? (TO) 1800.04 1803.42
bpsolver 2008-06-271086844? (TO) 1800.04 1811.01
casper zito1086852? (TO) 1800.05 1807.71
MDG-noprobe 2008-06-271086840? (TO) 1800.07 1806.41
Mistral-prime 1.3131086850? (TO) 1800.07 1810.61
Mistral-option 1.3141086849? (TO) 1800.09 1803.41
Concrete + CSP4J - Tabu Engine 2008-05-301086836? (TO) 1800.09 1808.33
MDG-probe 2008-06-271086839? (TO) 1800.11 1802.11
choco2_dwdeg 2008-06-261086846? (TO) 1800.14 1805.63
choco2_impwdeg 2008-06-261086845? (TO) 1800.19 1803.11
Minion/Tailor 2008-07-041105582Wrong UNSAT 4.16237 4.17639

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:
-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