CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp14/
normalized-fapp14-2500-9.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-9.xml
MD5SUM82e6ad1aef50625fbf6be40e28789b38
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 benchmark1515.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC (complete)2097894SAT 1515.09 1515.86
Abscon 112v4 AC (complete)2097893SAT 1529.19 1536.73
Sugar v1.14.6+picosat (complete)2083841? 483.035 497.878
Sugar v1.14.6+minisat (complete)2083842? 487.564 502.924
Concrete DC 2009-07-14 (complete)2083839? 564.528 569.779
SAT4J CSP 2.1.1 (complete)2083835? 999.751 1003.13
bpsolver 09 (complete)2083845? (exit code) 16.0166 16.1459
Concrete 2009-07-14 (complete)2083838? (exit code) 609.433 613.826
Mistral 1.545 (complete)2083844? (TO) 1800.07 1807.92
pcs-restart 0.3.2 (complete)2083837? (TO) 1800.14 1811.45
pcs 0.3.2 (complete)2083836? (TO) 1800.15 1808.65
Choco2.1.1 2009-06-10 (complete)2083840? (TO) 1800.19 1801.13
Choco2.1.1b 2009-07-16 (complete)2116858? (TO) 1800.28 1807.3

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