CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp21/
normalized-fapp21-0500-6.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp21/
normalized-fapp21-0500-6.xml
MD5SUM4865df64d75a9de2ecccf47a2577a6da
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 benchmark21.6067
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints2852
Maximum constraint arity2
Maximum domain size242
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2852
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1086245SAT 21.6067 21.8038
Abscon 112v4 AC1086244SAT 21.7827 21.9106
cpHydra k_101086246SAT 33.3419 33.5826
cpHydra k_401086247SAT 33.8009 34.5144
Sugar v1.13+minisat1086234SAT 246.303 249.426
Sugar v1.13+picosat1086233SAT 265.678 268.946
choco2_dwdeg 2008-06-261086237SAT 1001.56 1002.5
choco2_impwdeg 2008-06-261086236SAT 1078.84 1088.21
Concrete + CPS4J 2008-05-301086229SAT 1177.32 1178.35
MDG-noprobe 2008-06-271086231SAT 1256.21 1264.87
SAT4J CSP 2008-06-131086232? 976.221 981.888
galac M1086238? (problem) 0.423934 0.509424
galac E1086239? (problem) 0.494923 0.830037
Concrete + CSP4J - WMC Engine 2008-05-301086228? (TO) 1800.02 1807.72
Concrete + CSP4J - Tabu Engine 2008-05-301086227? (TO) 1800.03 1817.42
casper zito1086243? (TO) 1800.06 1810.01
MDG-probe 2008-06-271086230? (TO) 1800.06 1809.81
Mistral-prime 1.3131086241? (TO) 1800.07 1807.61
Mistral-option 1.3141086240? (TO) 1800.08 1813.41
casper zao1086242? (TO) 1800.09 1802.32
bpsolver 2008-06-271086235? (TO) 1800.11 1803.51
Minion/Tailor 2008-07-041105551Wrong UNSAT 119.565 120.131

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:
-2632 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2412 -2700
-2660 -2424 -2260 -2456 -2276 -2256 -2700 -2548 -2700 -2220 -2700 -2260 -2588 -2372 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2700 -2600
-2512 -2568 -2372 -2424 -2480 -2284 -2376 -2276 -2296 -2260 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2260 -2440
-2416 -2236 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2332 -2580 -2368 -2592
-2600 -2260 -2260 -2292 -2632 -2624 -2220 -2352 -2660 -2220 -2276 -2276 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2260
-2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2340 -2220 -2636 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2276 -2592 -2260
-2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2336 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500
-2336 -2424 -2660 -2660 -2424 2428 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220
-2628 2404 -2564 -2412 -2400 -2336 -2220 2676 -2260 -2584 -2660 -2648 -2280 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260
-2304 -2400 2260 2648 -2408 -2408 -2260 -2648 -2512 2624 2612 -2472 2316 -2220 -2296 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660
-2544 -2604 -2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2552 -2444 -2384 -2368 -2448 -2220 2660 -2248 -2324 -2504 -2220 -2468 -2700
2660 -2592 -2660 -2660 -2604 -2356 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2220 -2572 -2308 -2296 -2700 -2700 -2244 -2516 -2260 2220
-2500 -2220 2636 -2700 -2660 -2656 -2444 -2560 -2700 -2508 -2288 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584
-2312 -2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2316 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2348
-2324 -2424 -2260 -2700 -2656 -2544 -2464 -2444 -2256 -2548 -2260 -2432 -2540 2528 -2468 2520 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660
-2484 -2220 -2240 2508 -2584 -2384 2700 2588 -2344 -2584 -2596 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568
-2644 -2452 -2348 2660 -2588 -2220 -2260 -2296 -2520 -2260 -2348 -2532 -2260 -2276 -2588 -2628 -2220 -2252 -2636 -2336 -2632 -2284 -2320
2360 -2572 -2668 -2336 -2660 -2576 2640 -2460 -2220 -2344 -2224 2628 -2236 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636
-2300 -2444 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220
-2288 -2392 2660 -2344 -2504 -2660 -2468 -2596 -2700 -2260 -2220 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420
2396 -2420 -2700 -2564 -2504 -2220 -2248 -2316 -2660 -2700 -2336 -2240 -2272 -2700 -2380 -2240 -2404 -2276 -2700 2532 -2260 -2220 -2420
-2260 -2624 -2236 -2296 -2536 -2552 -2300 -2372