CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp10/
normalized-fapp10-0900-9.xml
MD5SUMbb8fed9f370e164b93c37276047ba0d0
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 benchmark55.3086
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 ESAC1085867SAT 55.3086 55.6222
cpHydra k_101085868SAT 66.5989 66.9525
cpHydra k_401085869SAT 66.9248 67.4038
Abscon 112v4 AC1085866SAT 67.6787 68.364
Mistral-prime 1.3131085863SAT 127.789 128.417
MDG-noprobe 2008-06-271085853SAT 152.956 152.997
Concrete + CPS4J 2008-05-301085851SAT 559.3 560.422
MDG-probe 2008-06-271085852SAT 1690.6 1703.55
SAT4J CSP 2008-06-131085854? 350.002 352.08
galac E1085861? (problem) 0.445931 0.518863
galac M1085860? (problem) 0.646901 0.723281
Sugar v1.13+minisat1085856? (MO) 143.192 145.156
Sugar v1.13+picosat1085855? (MO) 314.53 324.038
Concrete + CSP4J - Tabu Engine 2008-05-301085849? (TO) 1800.01 1809.82
Minion/Tailor 2008-07-041105519? (TO) 1800.03 1811.02
Mistral-option 1.3141085862? (TO) 1800.03 1809.02
bpsolver 2008-06-271085857? (TO) 1800.08 1802.02
Concrete + CSP4J - WMC Engine 2008-05-301085850? (TO) 1800.08 1802.32
casper zao1085864? (TO) 1800.1 1802.56
casper zito1085865? (TO) 1800.1 1801.72
choco2_dwdeg 2008-06-261085859? (TO) 1800.13 1808.03
choco2_impwdeg 2008-06-261085858? (TO) 1800.14 1809.01

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