CSP 2009 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp26/
normalized-fapp26-2300-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp26/
normalized-fapp26-2300-10.xml
MD5SUMfed84ca019c3c42e3620b2e79df41b5a
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 benchmark29.3985
Satisfiable
(Un)Satisfiability was proved
Number of variables2300
Number of constraints24253
Maximum constraint arity2
Maximum domain size302
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24253
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC (complete)2097786SAT 29.3985 29.5221
Abscon 112v4 AC (complete)2097785SAT 29.7455 30.0807
Concrete DC 2009-07-14 (complete)2083245? 263.32 266.049
Sugar v1.14.6+picosat (complete)2083247? 275.592 283.223
Sugar v1.14.6+minisat (complete)2083248? 276.207 1332.25
SAT4J CSP 2.1.1 (complete)2083241? 482.274 485.01
bpsolver 09 (complete)2083251? (exit code) 10.9693 11.1198
Concrete 2009-07-14 (complete)2083244? (exit code) 341.661 342.561
Mistral 1.545 (complete)2083250? (TO) 1800.05 1804.41
Choco2.1.1b 2009-07-16 (complete)2116804? (TO) 1800.11 1815.01
pcs-restart 0.3.2 (complete)2083243? (TO) 1800.13 1803.17
pcs 0.3.2 (complete)2083242? (TO) 1800.15 1806.36
Choco2.1.1 2009-06-10 (complete)2083246? (TO) 1800.21 1812.43

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:
-2600 -2556 -2540 -2340 -2512 -2552 -2752 -2800 -2504 -2620 -2780 -2364 -2264 -2392 -2552 -2744 -2336 2804 -2508 -2820 -2744 -2588 -2348
-2372 -2220 -2688 -2752 -2536 -2652 2244 -2232 -2668 -2228 -2804 -2424 -2260 -2412 -2524 -2736 -2220 -2660 -2324 -2280 -2524 -2496 -2560
-2544 -2592 -2280 -2576 -2352 -2340 -2780 -2712 -2592 -2728 -2640 -2260 -2820 -2328 -2264 -2440 -2780 -2788 -2780 -2820 -2820 -2464 -2784
-2424 -2656 -2712 -2340 -2780 -2780 -2224 -2788 -2240 -2400 -2504 -2260 -2588 -2276 -2420 -2620 -2808 -2640 -2348 -2608 -2664 -2592 -2548
-2396 -2308 -2648 -2556 2780 -2592 -2676 -2464 -2660 -2568 -2360 -2352 -2276 -2460 -2760 -2692 -2820 -2464 -2308 -2540 -2664 -2464 -2344
-2820 -2496 -2552 -2796 -2320 -2432 -2288 -2548 -2292 -2452 -2464 -2720 -2468 -2724 -2420 -2552 -2420 -2524 -2352 -2452 -2220 -2692 -2348
-2324 -2468 -2592 -2452 -2432 -2352 -2248 -2576 2684 -2484 -2724 -2312 -2580 -2692 -2820 -2504 -2364 -2504 -2436 -2540 -2696 2736 -2496
-2564 -2804 -2532 -2300 -2432 -2532 -2240 -2556 -2780 -2820 -2528 -2496 -2284 -2464 -2340 -2488 -2308 -2432 -2252 -2648 -2752 -2808 -2432
-2264 -2340 -2580 -2332 -2428 -2456 -2636 -2296 -2288 -2692 -2688 -2648 -2640 -2380 -2780 -2656 -2756 -2268 -2704 -2308 -2432 -2280 -2280
-2740 -2668 -2584 -2600 -2648 -2780 -2616 -2788 -2392 -2768 -2692 -2632 -2364 -2752 -2428 2744 -2612 -2820 -2616 -2508 -2604 -2292 -2652
-2652 -2744 -2804 -2712 -2472 -2648 -2592 -2336 -2712 -2364 -2820 -2572 -2656 -2640 -2252 2724 -2604 -2660 -2428 -2220 -2468 -2528 -2676
-2608 -2484 -2420 -2820 -2820 -2328 -2412 -2364 -2668 -2352 -2680 -2328 -2420 -2376 -2464 -2788 -2280 -2352 -2756 -2664 -2552 -2680 -2384
-2584 -2660 -2316 -2296 -2508 -2384 -2356 -2684 -2316 -2220 -2496 -2476 -2248 -2820 -2480 -2404 -2500 -2428 -2512 -2228 -2688 -2780 -2672
-2752 -2588 -2768 -2468 -2684 -2280 -2504 2524 -2636 -2780 -2772 -2516 -2692 -2440 -2764 -2556 -2560 -2616 -2292 -2764 -2256 -2488 -2316
-2520 -2472 -2364 -2220 -2500 -2588 -2768 -2312 -2704 -2716 -2256 -2712 -2712 -2768 -2248 -2820 -2780 -2572 -2332 -2780 -2792 -2412 -2488
-2752 -2248 -2628 -2448 -2260 -2364 -2372 -2652 -2748 -2532 -2652 -2372 -2624 -2780 -2792 -2432 -2456 -2644 -2284 -2296 -2512 2428 -2300
-2384 -2612 -2672 -2220 -2520 -2668 -2488 -2400 -2324 -2676 -2380 -2432 2328 -2564 -2404 2500 -2592 -2788 -2516 -2752 -2428 -2264 -2752
-2332 -2772 -2568 -2332 -2688 2348 -2636 -2616 -2536 -2260 -2356 -2316 -2628 -2568 -2724 -2376 -2368 -2520 -2268 -2544 -2496 -2220 -2820
-2280 -2296 -2512 -2288 -2820 -2440 2420 -2428 -2456 -2356 -2796 -2352 -2660 -2324 -2588 -2680 -2236 -2660 -2656 -2520 -2468 -2300 -2592
-2268 2268 -2680 -2384 -2372 -2512 2788 -2676 -2384 -2468 -2820 -2224 -2764 -2284 -2280 -2260 2312 -2524 -2360 -2320 -2508 -2704 -2736 -2260
2464 -2508 -2332 -2684 -2604 -2540 2312 -2712 -2552 -2332 -2396 -2336 -2544 -2676 -2600 -2348 -2472 -2484 -2700 2772 -2752 -2404 -2412 -2732
-2732 -2608 -2316 -2220 2240 -2592 -2392 -2260 -2240 -2820 -2636 -2584 -2756 -2472 -2452 -2764 2460 -2472 2776 -2460 -2420 -2804 -2244 2768
-2628 -2500 -2252 -2780 2548 -2552 -2648 -2752 -2780 -2752 -2408 -2732 -2260 -2512 -2312 -2820 -2420 -2456 -2380 -2264 -2440 2312 -2820
-2464 -2448 -2732 -2608 -2272 -2344 -2272 -2580 -2432 -2620 -2476 -2648 -2336 -2720 -2780 -2340 -2272 -2316 -2280 -2328 -2684 -2620 -2776
-2608 -2536 -2244 2696 -2676 -2704 -2228 -2336 -2260 -2668 -2744 -2428 -2712 -2636 -2584 -2428 -2420 -2244 -2716 -2356 -2292 -2820 -2432
-2796 -2504 -2376 -2444 -2436 -2548 -2752 -2620 -2540 -2240 -2744 -2520 -2688 -2684 -2288 -2296 -2488 -2764 -2748 -2412 -2220 -2244 -2764
-2272 -2508 -2624 -2764 -2516 -2320 -2388 -2796 -2324 -2756 -2480 -2612 -2800 -2256 -2676 -2588 -2712 -2628 -2340 -2544 -2544 -2768 -2560
-2384 -2276 -2728 -2536 -2220 -2280 -2380 -2708 -2540 -2676 -2396 -2740 -2328 -2592 -2236 2380 -2656 -2496 -2220 -2780 -2632 -2568 -2800
-2368 -2640 -2396 2592 -2432 -2780 -2792 -2528 -2340 -2284 -2452 -2804 -2400 -2556 -2820 -2704 -2368 -2728 -2276 -2464 -2472 -2760 -2296
-2648 -2232 -2752 -2400 -2560 -2612 -2684 -2780 -2288 2752 -2712 -2292 -2688 -2524 2780 -2820 -2336 -2708 -2820 -2488 -2772 -2264 -2472
-2400 -2220 -2592 -2528 -2740 -2640 -2400 -2568 -2688 -2656 -2388 -2744 -2380 -2372 -2388 -2236 -2408 -2652 -2220 -2468 -2256 -2780 -2532
-2240 -2336 -2576 -2744 -2700 -2416 -2440 -2564 -2676 -2488 -2468 -2328 -2652 -2780 -2672 -2400 -2424 -2460 -2692 -2656 -2524 -2440 -2548
2776 -2280 -2780 -2684 -2260 -2276 -2420 -2272 -2780 -2476 -2380 -2488 -2336 -2488 -2592 -2688 -2284 -2784 -2244 -2288 -2500 -2384 -2524
-2452 -2260 -2592 -2776 -2752 -2752 -2804 -2496 -2668 -2548 -2780 -2368 -2384 -2592 -2348 -2288 -2424 -2384 -2484 -2472 -2592 -2780 -2780
-2600 -2288 -2468 -2776 -2724 -2720 -2476 -2508 -2280 -2220 -2232 -2528 -2444 -2384 -2692 -2260 -2460 -2820 -2640 -2720 -2780 -2756 -2656
-2272 -2800 -2220 -2780 -2584 -2780 -2432 -2616 -2248 -2236 -2660 -2428 -2288 -2672 2376 -2416 -2792 2604 -2436 -2624 2632 -2240 -2696 -2804
-2812 -2820 -2376 -2456 -2564 2248 -2504 -2700 -2752 -2804 -2524 -2684 -2316 -2552 -2300 -2308 -2632 -2576 -2376 -2484 -2796 -2708 -2376
2776 -2412 -2536 -2632 -2764 -2756 -2436 -2780 -2392 -2704 -2560 -2480 -2740 -2488 -2368 -2592 -2820 -2516 -2260 -2248 -2808 -2496 -2500
-2728 -2596 -2624 -2256 -2700 -2260 -2332 -2460 -2692 -2568 -2468 -2800 2424 -2352 -2752 2592 -2424 -2672 -2392 -2532 -2744 -2700 -2664
-2568 -2712 -2356 -2452 -2500 -2820 -2512 -2476 -2564 -2316 -2220 -2660 -2600 -2556 -2228 -2500 -2492 -2316 -2496 -2764 -2424 -2224 -2440
-2560 -2620 -2296 -2548 -2440 -2388 -2800 -2516 -2552 -2492 -2804 -2820 -2472 -2584 -2680 -2800 -2768 -2264 -2428 -2820 -2752 -2568 -2748
-2528 -2756 -2748 2764 -2412 -2540 -2364 -2820 -2536 -2556 -2336 -2780 -2572 -2552 -2460 -2340 -2280 -2532 -2288 -2508 -2256 -2596 -2692
-2508 -2580 -2516 -2564 -2700 -2568 -2372 -2348 -2596 -2460 -2260 -2680 -2548 -2236 -2752 -2760 -2512 -2628 -2588 -2580 -2820 -2220 -2388
-2240 -2816 -2324 -2340 -2552 -2480 -2280 -2512 -2760 -2652 -2780 -2820 -2440 -2464 -2460 -2820 -2720 -2728 -2300 -2448 -2352 -2588 -2516
-2368 -2656 -2728 -2548 -2780 -2396 2820 -2548 -2396 -2236 -2380 -2820 -2368 -2660 -2548 -2664 -2376 -2244 -2712 2364 -2260 -2344 -2596
-2244 -2556 -2536 -2704 -2700 2560 -2620 -2256 -2284 -2400 -2736 -2260 -2548 -2532 -2632 -2316 -2580 -2796 -2320 -2492 -2236 -2528 -2780
-2764 -2520 -2320 -2260 -2552 -2820 -2716 -2580 -2448 2708 -2756 2700 -2260 -2532 -2540 -2224 -2260 -2436 -2464 -2292 -2412 -2528 -2732
-2524 -2256 -2440 -2456 -2488 -2292 -2236 -2336 -2588 2580 -2624 -2820 -2416 -2576 -2276 -2612 -2604 -2260 -2364 -2704 -2480 -2812 -2716
-2820 -2488 -2680 -2780 2540 -2388 -2364 -2320 -2480 -2400 -2580 -2220 -2220 -2624 -2304 -2820 -2396 -2432 -2556 -2316 -2760 2548 -2620
-2472 -2696 -2472 -2776 -2496 -2492 -2820 -2496 -2596 -2424 -2416 -2820 -2656 -2460 -2724 -2288 -2724 -2268 -2628 -2500 -2260 -2820 -2616
-2680 -2276 -2324 -2516 -2612 -2600 -2472 2780 -2320 -2808 -2364 -2780 -2344 -2792 -2712 -2780 -2276 -2428 -2256 -2528 -2620 -2544 -2776
-2400 -2820 -2276 -2712 -2552 -2480 -2748 -2380 -2712 -2500 -2820 -2672 -2764 -2724 -2656 -2712 -2664 -2776 -2764 2780 -2648 -2380 -2264
-2608 -2532 -2640 -2756 -2504 -2780 -2496 -2348 -2460 -2704 2724 -2436 -2808 -2328 -2476 -2364 2724 -2772 -2564 -2624 -2536 -2680 -2732
-2448 -2400 -2552 -2648 -2732 -2616 -2608 -2820 -2736 -2272 -2588 -2628 -2780 -2296 -2416 -2272 -2292 -2264 -2456 -2364 -2812 -2808 -2360
2308 -2244 -2412 -2244 -2644 -2408 -2780 -2732 -2288 -2564 -2244 -2488 -2476 -2664 -2276 -2268 -2568 -2780 -2232 -2592 -2764 -2552 -2608
-2328 -2424 -2820 -2332 -2712 -2628 -2764 -2500 -2632 -2792 -2556 -2392 -2700 -2512 -2780 -2256 -2596 -2492 -2236 -2500 -2600 -2668 -2740
-2768 -2656 -2496 -2348 -2224 -2664 -2296 -2716 -2348 -2356 -2780 -2308 -2756 -2336 -2604 -2652 -2356 -2428 -2556 -2312 -2276 -2536 2468
-2272 -2584 -2412 -2764 -2244 -2704 -2344 -2472 -2444 -2288 -2556 -2656 -2412 -2304 -2356 -2372 -2412 -2816 -2456 -2652 -2632 2772 -2676
-2724 -2772 -2592 -2552 -2796 -2248 -2692 -2240 -2284 -2376 -2776 -2664 -2428 -2636 -2484 -2820 -2592 -2284 -2260 -2272 -2288 -2780 -2588
-2364 -2500 -2804 2724 -2696 -2688 2396 -2796 -2344 -2596 -2568 -2688 -2556 -2704 -2268 -2392 -2248 -2328 -2684 -2236 -2820 -2640 -2724
-2580 -2440 -2260 -2680 -2624 -2220 -2276 -2816 -2524 -2636 -2600 -2532 -2652 -2728 -2300 -2780 -2220 -2372 -2220 2380 -2408 -2520 -2736
-2288 -2548 -2812 -2604 -2296 -2396 -2424 -2424 -2752 -2552 -2480 -2780 -2624 -2580 -2748 -2220 -2528 -2392 -2268 -2740 -2356 -2612 -2276
2772 -2424 -2644 -2396 -2632 -2476 2768 -2744 -2652 -2456 -2356 -2476 -2312 -2548 -2704 -2820 -2408 -2820 -2324 -2548 -2252 -2820 -2708
-2616 -2476 -2456 -2324 -2620 -2820 -2448 -2336 -2520 -2328 -2560 -2820 -2412 -2596 -2808 -2452 -2792 -2312 -2292 -2232 -2764 -2284 -2780
-2700 -2380 -2608 -2668 -2504 -2632 -2316 -2240 -2288 -2540 -2684 -2260 -2772 -2404 -2652 -2532 -2744 -2712 -2280 -2520 2424 -2504 -2552
-2516 -2520 -2564 2764 -2256 -2492 -2576 -2820 -2512 -2768 -2548 2496 -2724 -2404 -2492 -2816 -2780 -2592 -2440 -2528 -2656 -2484 -2452 2404
-2352 -2724 -2812 -2232 -2624 -2544 -2440 -2432 -2452 -2604 2460 -2356 -2220 -2520 -2604 -2336 -2624 -2272 -2776 -2332 -2600 -2540 -2668
-2660 -2688 -2372 -2364 -2220 -2692 -2528 -2820 -2324 -2256 -2388 -2780 -2220 -2332 -2416 -2308 -2352 -2716 -2324 2804 -2600 -2532 -2244
-2596 -2376 -2788 -2820 -2376 -2368 -2284 -2372 -2568 -2780 -2320 -2424 -2400 -2624 -2556 -2468 -2356 -2724 2640 -2476 -2356 -2660 -2692
-2244 -2424 -2364 -2384 -2768 -2348 -2608 -2608 -2700 -2652 -2344 -2528 -2528 -2680 -2636 -2492 -2640 -2360 -2496 -2548 -2700 -2780 -2404
-2492 -2740 -2364 -2756 -2440 -2668 -2288 -2408 -2424 -2560 -2508 -2680 -2616 -2400 -2696 -2444 -2368 -2620 -2220 -2692 -2760 -2284 -2564
-2624 2360 -2292 -2516 -2500 -2508 -2740 -2668 -2552 -2764 -2228 -2276 -2808 -2592 -2440 -2224 -2284 -2556 -2448 2280 -2616 2804 -2816 -2804
-2300 -2772 -2360 -2596 -2808 -2528 -2588 -2260 -2672 -2284 -2384 -2384 -2292 -2296 -2340 -2780 -2760 -2820 -2244 -2736 -2448 -2456 -2464
-2260 -2780 -2220 -2344 -2444 -2248 -2620 -2328 -2744 -2432 -2392 -2404 -2564 -2748 -2340 -2660 -2388 -2820 -2252 -2408 -2820 -2588 -2424
-2616 -2732 -2392 -2236 -2388 -2776 -2280 -2576 -2804 -2272 -2312 -2696 -2420 -2252 -2580 2552 -2628 -2784 -2508 -2260 -2612 -2516 -2780
-2584 -2644 -2516 -2288 -2272 -2480 -2820 -2680 -2220 -2400 -2528 2776 -2808 -2284 -2532 -2640 -2820 -2260 -2288 -2460 -2592 -2636 -2280
-2660 -2692 -2372 -2820 -2760 -2820 -2220 -2400 -2528 -2628 -2504 -2648 -2260 2220 -2820 -2460 -2296 -2592 -2616 -2716 -2700 -2524 -2488
-2820 -2764 -2728 -2220 -2228 -2780 -2408 -2228 -2780 -2364 -2376 -2356 -2644 -2696 -2436 -2292 -2688 -2272 -2304 -2292 -2380 -2636 -2696
-2804 -2496 -2732 -2260 -2476 -2488 -2500 -2228 -2308 -2624 -2400 -2712 -2536 -2516 -2264 -2756 -2516 -2384 -2340 -2656 -2560 -2820 -2404
-2636 -2580 -2592 -2312 -2780 -2240 -2288 -2816 -2248 -2624 -2648 -2504 -2572 -2508 -2680 2816 -2540 -2432 -2484 2388 -2528 -2612 -2616
-2652 -2704 -2524 2616 -2248 -2820 -2220 -2780 -2312 -2640 -2264 -2328 -2820 -2260 -2484 -2240 -2260 -2580 -2624 -2552 -2628 -2624 -2788
-2520 -2648 -2336 -2476 -2664 -2664 -2296 -2284 -2280 -2248 -2468 -2528 2768 -2656 -2332 -2420 -2540 -2384 -2532 -2764 -2300 -2392 -2560
-2724 -2704 -2612 -2500 -2776 -2608 -2664 -2228 -2816 -2780 2260 -2748 -2312 -2448 -2248 -2716 -2616 -2692 2816 -2412 -2460 -2748 -2696
-2588 -2252 -2712 -2544 2492 -2480 -2448 -2296 -2720 -2424 -2468 -2252 -2788 -2692 -2348 -2552 -2488 -2608 -2756 -2364 -2540 -2340 -2296
-2344 -2740 -2256 -2424 -2492 2676 -2712 -2752 -2608 -2492 -2752 -2780 -2244 -2256 -2492 -2820 -2604 -2408 -2268 -2260 -2452 -2324 -2816
-2560 -2224 -2676 -2664 -2412 -2744 -2472 2624 -2536 -2324 -2292 -2572 -2548 -2656 -2508 -2328 -2688 -2356 -2736 -2324 -2464 -2496 -2560
-2768 -2388 -2596 -2328 -2524 -2296 -2304 -2600 -2488 -2624 -2780 -2320 -2764 -2316 -2664 -2316 -2648 -2664 -2468 -2232 -2784 -2552 -2744
2252 -2260 -2668 -2240 -2584 -2536 -2284 -2240 -2720 -2444 -2820 -2536 -2268 -2336 -2380 -2608 -2332 -2464 -2220 -2288 -2584 -2484 -2780
-2592 -2420 -2276 -2472 -2420 -2268 -2220 -2492 2820 -2764 -2676 -2640 -2276 -2692 -2752 -2780 -2352 -2280 -2232 -2576 -2556 -2716 -2232
-2460 -2564 -2428 -2764 -2696 -2696 -2448 -2652 -2784 -2568 -2820 -2268 -2324 -2260 -2580 -2644 -2744 -2568 -2780 -2724 -2684 -2360 -2708
-2508 -2632 -2596 -2820 -2552 -2368 -2780 -2780 -2360 -2224 -2380 -2260 -2220 -2456 -2752 -2704 -2448 -2664 -2692 -2820 -2320 -2628 -2760
-2248 -2656 -2376 -2500 -2532 -2568 2460 -2604 -2368 -2508 -2580 -2324 -2292 -2780 -2584 -2752 -2308 -2296 -2780 -2284 -2548 -2260 -2596
-2424 -2700 -2780 -2756 -2760 2516 -2484 -2224 -2404 -2772 -2588 -2780 -2764 -2600 -2220 -2564 -2436 -2364 -2408 -2712 -2228 -2308 -2728
-2440 -2644 -2820 -2288 -2220 -2464 -2288 -2652 -2260 -2288 -2748 -2620 -2544 -2272 -2584 -2460 -2700 -2264 -2584 -2296 -2800 -2488 -2752
-2220 -2796 2376 -2680 -2340 2256 -2260 -2324 -2780 -2540 -2420 -2764 -2704 -2628 -2260 -2464 -2808 -2744 -2260 -2476 -2652 -2592 -2624
-2444 -2568 -2540 -2472 -2372 2620 -2664 2764 -2368 -2492 -2276 -2544 -2232 -2736 -2364 -2796 -2292 -2456 -2812 -2536 -2624 -2780 -2804
-2820 -2712 -2748 -2532 -2272 -2640 -2576 -2652 -2408 2672 -2500 -2692 -2364 -2720 -2644 -2464 -2568 -2784 -2512 -2780 -2604 -2812 -2516
-2708 -2508 -2356 -2496 -2748 -2792 -2644 -2448 -2392 -2636 -2360 -2704 -2580 -2320 -2780 -2464 -2528 -2768 -2744 -2280 -2588 2716 -2808
-2780 -2732 -2656 -2588 -2480 -2440 -2804 -2220 -2248 -2576 -2660 -2496 -2504 -2488 -2464 -2712 -2812 -2712 -2820 -2548 2220 -2672 -2496
-2380 -2776 -2616 -2820 2540 -2456 -2652 -2780 -2780 -2376 -2528 -2252 -2552 -2608 -2344 -2616 -2820