CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp31/
normalized-fapp31-0400-7.xml
MD5SUMb6ccf6de2a96d16153e1dfc9d32ad1be
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 benchmark152.754
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 ESAC1086833SAT 152.754 154.118
Abscon 112v4 AC1086832SAT 156.682 158.239
cpHydra k_101086834SAT 192.196 194.59
cpHydra k_401086835SAT 194.882 195.81
Sugar v1.13+picosat1086821SAT 398.674 403.164
Sugar v1.13+minisat1086822SAT 579.433 583.899
Concrete + CPS4J 2008-05-301086817SAT 904.917 913.252
SAT4J CSP 2008-06-131086820? 0.804877 0.912311
galac M1086826? (problem) 0.576911 0.677683
galac E1086827? (problem) 0.623904 0.984952
Concrete + CSP4J - Tabu Engine 2008-05-301086815? (TO) 1800.01 1814.82
casper zito1086831? (TO) 1800.05 1814.92
casper zao1086830? (TO) 1800.05 1804.12
Mistral-prime 1.3131086829? (TO) 1800.05 1804.01
MDG-probe 2008-06-271086818? (TO) 1800.06 1812.51
Concrete + CSP4J - WMC Engine 2008-05-301086816? (TO) 1800.06 1804.22
MDG-noprobe 2008-06-271086819? (TO) 1800.1 1812.71
Mistral-option 1.3141086828? (TO) 1800.1 1813.61
bpsolver 2008-06-271086823? (TO) 1800.1 1810.62
choco2_dwdeg 2008-06-261086825? (TO) 1800.13 1805.58
choco2_impwdeg 2008-06-261086824? (TO) 1800.18 1815.61
Minion/Tailor 2008-07-041105581Wrong UNSAT 4.47932 4.59618

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:
2492 2380 1304 -1992 1792 -1360 -2600 2600 2076 2288 2312 -2356 -2252 -2600 -2392 2176 -1588 -2500 -2560 -1336 -1636 -2416 2540 -1328 2600
-2560 -1800 -1248 -2232 -1676 2428 -2260 -1816 -2040 2276 -1264 -1244 -1936 2488 -2316 -2600 -2312 -2600 2440 -2440 -2288 -2068 -1812 -2600
-2188 -1632 -1992 -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 -1204 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 -1244 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 -2032 -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 1308
2568 -1296 -1920 -2084 -1208 -1204 -1308 -2104 -2220 -1704 -1224 -1748 -1904