CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp10/
normalized-fapp10-0900-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-10.xml
MD5SUM55de9a4bee899e7bedf0b2c2b8000cef
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 benchmark52.5
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints11381
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11381
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1085888SAT 52.5 52.749
Abscon 112v4 AC1085887SAT 53.3069 53.8084
cpHydra k_101085889SAT 58.6731 58.9448
cpHydra k_401085890SAT 58.8111 59.3007
Mistral-prime 1.3131085884SAT 102.871 103.287
MDG-noprobe 2008-06-271085874SAT 181.421 182.592
Concrete + CPS4J 2008-05-301085872SAT 477.382 482.022
MDG-probe 2008-06-271085873SAT 722.269 725.182
SAT4J CSP 2008-06-131085875? 683.331 685.447
galac E1085882? (problem) 0.439932 0.516834
galac M1085881? (problem) 0.441932 0.528277
Sugar v1.13+minisat1085877? (MO) 153.11 155.253
Sugar v1.13+picosat1085876? (MO) 339.84 342.746
Concrete + CSP4J - Tabu Engine 2008-05-301085870? (TO) 1800.01 1805.42
bpsolver 2008-06-271085878? (TO) 1800.03 1801.12
Concrete + CSP4J - WMC Engine 2008-05-301085871? (TO) 1800.04 1800.92
Minion/Tailor 2008-07-041105518? (TO) 1800.05 1807.51
casper zito1085886? (TO) 1800.05 1804.21
casper zao1085885? (TO) 1800.09 1807.16
Mistral-option 1.3141085883? (TO) 1800.12 1810.42
choco2_impwdeg 2008-06-261085879? (TO) 1800.19 1803.53
choco2_dwdeg 2008-06-261085880? (TO) 1800.23 1810.34

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:
2720 -2504 2572 -2368 2068 2564 -2256 -2660 -2408 -2528 -2288 -2432 -2528 -2484 -2392 -2364 2644 2060 -2020 2588 2196 2708 -2684 2648 -2688
2040 2680 2536 -2640 2604 -2408 -2216 -2420 2252 2732 2380 2696 2520 -2584 2092 -2024 -2384 2572 2520 -2472 -2068 2132 -2460 -2344 2616
-2176 2580 -2300 -2180 -2224 -2420 2460 2640 -2020 -2292 2508 -2696 -2064 -2676 -2172 -2528 2048 2036 -2404 -2720 -2600 2372 2492 -2356
-2568 -2712 -2332 2420 2388 -2536 2076 2204 2688 -2116 -2256 2164 2480 -2256 2064 -2448 -2692 2700 2656 2528 2212 2560 -2660 2620 -2532 2492
2656 -2596 -2384 -2532 2324 -2632 -2700 2020 -2388 2340 -2380 -2572 -2720 -2616 2268 -2156 -2156 -2584 2712 -2700 -2276 2336 -2740 -2060
-2472 2504 2712 -2020 2564 -2104 2188 2544 2324 2740 -2332 -2740 -2076 -2316 -2644 -2504 -2532 -2284 -2332 2272 -2452 -2548 -2716 -2476
-2728 2640 -2472 -2308 -2436 -2056 -2244 2672 -2700 2172 -2092 -2696 -2376 -2436 -2680 -2444 2636 -2208 2096 -2060 2340 -2076 -2620 -2444
-2028 2096 -2284 -2488 -2740 -2080 2620 -2256 -2472 -2344 2692 2628 -2496 -2052 2020 -2344 -2360 2216 2276 -2296 -2364 -2100 -2660 2400 2364
-2344 -2592 -2672 2180 -2324 -2664 2684 -2132 -2668 2212 2024 2172 -2436 -2168 2624 -2396 -2476 -2496 -2444 -2712 -2600 -2384 2408 -2384
-2140 -2428 -2640 2376 2192 2028 -2292 -2512 -2740 2524 -2528 2416 -2652 -2080 2264 2388 -2608 2332 2460 -2356 -2640 -2060 -2216 2172 2528
2660 -2504 -2552 2644 2528 2472 -2220 2488 -2256 -2580 -2488 2688 -2636 2620 2024 -2448 -2208 -2532 2532 -2020 -2220 2408 -2508 -2200 -2552
-2564 -2384 -2476 2620 2348 -2244 -2656 -2204 2268 -2740 -2296 2584 -2568 -2020 -2680 2668 2316 -2216 2272 -2708 -2628 2524 -2700 -2320
-2568 -2104 -2604 -2152 -2164 -2364 -2128 2728 2468 -2728 -2216 -2288 2508 2080 2060 -2444 -2740 -2708 -2700 -2484 -2128 -2588 -2604 -2680
-2168 2696 2660 -2464 -2440 2104 -2476 2312 -2712 -2656 -2708 2020 2636 2660 2020 -2216 -2080 2192 -2644 -2232 2324 2128 2452 -2648 -2424
-2584 2608 -2256 -2116 -2448 2432 2144 -2432 -2060 -2540 -2480 -2364 -2340 -2580 -2172 2424 2324 -2344 -2584 2700 -2060 2620 -2216 -2060
2140 2292 -2060 -2064 -2700 -2456 -2124 -2488 -2432 2648 -2596 -2664 2328 -2084 -2392 -2712 2540 2020 -2088 -2116 2680 2544 2116 -2132 -2544
2684 2544 -2228 2020 -2680 2404 2020 2068 2180 -2532 -2292 -2676 2740 2740 -2712 -2060 -2496 -2540 2432 -2644 -2700 -2672 -2436 -2456 2176
2476 -2720 -2604 -2276 2456 -2392 -2724 2520 2532 -2464 -2256 -2664 -2632 -2068 -2316 -2312 -2740 -2060 2576 2228 2688 2612 -2476 -2568 2092
2616 2704 -2524 2312 2524 2468 -2240 2516 -2660 -2140 2512 -2528 2060 -2184 2464 2580 -2316 -2692 -2416 -2476 -2276 2120 -2040 -2040 2572
-2672 -2712 -2280 -2120 -2444 2740 -2572 2180 -2436 -2368 -2540 2532 -2700 2700 2112 2704 2436 -2436 -2616 -2388 -2544 2532 -2272 2060 -2604
-2480 2696 -2676 -2108 -2292 2664 2656 -2532 -2740 2624 -2044 -2296 2492 2108 -2364 -2284 -2692 2216 -2492 -2064 -2472 -2672 2644 2600 2708
2216 2740 2616 -2456 -2736 -2556 2064 2372 -2492 -2484 2336 2512 2148 -2544 -2436 2316 -2476 -2020 -2180 2532 -2384 -2404 -2724 -2236 -2148
-2020 2720 -2416 2424 -2648 -2728 -2708 -2196 -2324 2168 2108 2020 -2464 -2544 -2680 2180 -2060 -2416 -2732 -2684 2296 -2636 2672 -2700 2572
2580 2664 -2680 -2452 2256 2408 -2332 2060 -2432 -2244 -2428 -2492 -2160 -2496 2332 2568 -2596 2020 -2132 2688 -2736 -2560 -2700 -2312 -2644
2448 -2660 -2680 -2536 -2028 -2256 -2720 2564 -2252 2528 2480 2700 -2284 -2108 -2544 -2644 -2692 2136 -2372 -2156 2020 2656 2544 -2332 -2656
-2584 -2104 -2652 -2172 -2356 -2556 2612 2068 2396 -2128 2644 -2064 -2448 -2332 -2668 2632 -2068 2020 -2048 2700 -2648 2704 -2552 2532 2192
2156 2680 2104 -2308 2528 -2524 -2556 2688 -2740 -2464 2440 2700 2428 2548 -2020 -2584 -2168 -2700 2672 -2396 -2616 2080 -2524 2036 2604
-2396 -2668 -2712 -2724 -2020 2592 2492 -2132 -2688 -2280 2648 -2668 2160 -2352 -2156 -2364 -2136 -2692 -2236 2440 2740 -2328 -2064 2552
-2380 -2724 2260 -2688 -2740 -2500 -2184 -2700 2672 -2648 2544 -2228 -2512 -2652 -2256 -2580 -2352 -2036 -2060 -2392 -2276 -2684 2500 2488
2552 -2060 -2040 -2584 2316 -2428 -2456 2672 2492 2656 2504 -2520 -2544 -2668 2080 -2592 2268 -2324 -2372 -2472 -2168 2168 2216 2488 2248
2672 -2704 -2532 -2700 -2064 -2484 -2060 2248 2696 -2568 2300 -2376 2152 -2132 -2336 -2720 -2060 -2256 -2620 2632 -2176 2696 -2684 -2084
-2032 -2584 -2056 -2516 2416 2096 -2700 -2708 -2572 -2448 -2672 2256 -2472 -2196 -2324 -2520 2224 2064 -2316 2496 -2740 -2504 -2656 -2124
2148 -2332 -2404 2684 -2164 -2644 2636 -2356 -2712 2580 -2648 2028 -2372 -2440 -2384 2352 -2320 2216 -2216 -2620 -2292 -2684 -2060 -2736
2608 -2344 2664 2564 -2496 -2464 -2720 2200 -2456 2256 2124 -2492 -2172 2512 2232 -2676 2040 -2512 2696 -2560 2132 2640 -2028 -2488 -2072
-2224 -2236 -2332 -2084 -2512 2728 2688 -2656 -2480 -2680 2400 -2564 2208 -2060 -2684 -2476 -2320 2668 -2688 -2488 2376 -2496 -2088 2232
2624 -2608 2632 -2656 2688 -2512 -2364 2024 -2708 2572 2536 -2024 -2388 2732 -2684 -2220 -2564 2412 -2292 -2436 2404 -2608 -2360 2188 2432
-2424 -2604 2044 2672 -2668 -2220 -2668 -2216 2672 -2436 -2596 -2436 -2648