CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp22/
normalized-fapp22-1750-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-10.xml
MD5SUM96880025e4a14a075629d437bfbc2f6d
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 benchmark36.2935
Satisfiable
(Un)Satisfiability was proved
Number of variables1750
Number of constraints32049
Maximum constraint arity2
Maximum domain size802
Number of constraints which are defined in extension0
Number of constraints which are defined in intension32049
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC1085551SAT 36.2935 36.5555
Abscon 112v4 ESAC1085552SAT 37.1434 37.3311
Concrete + CPS4J 2008-05-301085536SAT 284.899 285.095
cpHydra k_401085554SAT 428.45 431.668
cpHydra k_101085553SAT 435.138 438.678
Concrete + CSP4J - Tabu Engine 2008-05-301085534SAT 547.877 553.126
Concrete + CSP4J - WMC Engine 2008-05-301085535SAT 566.175 571.739
MDG-probe 2008-06-271085537SAT 1473.8 1481.77
SAT4J CSP 2008-06-131085539? 0.836872 0.927669
Sugar v1.13+picosat1085540? 763.005 770.89
Sugar v1.13+minisat1085541? 774.726 782.222
galac M1085545? (problem) 0.463928 0.577321
galac E1085546? (problem) 0.615905 0.687955
casper zito1085550? (TO) 1800.03 1809.23
Mistral-prime 1.3131085548? (TO) 1800.03 1813.42
Mistral-option 1.3141085547? (TO) 1800.05 1806.33
bpsolver 2008-06-271085542? (TO) 1800.06 1825.43
MDG-noprobe 2008-06-271085538? (TO) 1800.1 1810.62
casper zao1085549? (TO) 1800.14 1807.27
choco2_dwdeg 2008-06-261085544? (TO) 1800.17 1807.16
choco2_impwdeg 2008-06-261085543? (TO) 1800.18 1815.87
Minion/Tailor 2008-07-041105554Wrong UNSAT 32.969 33.1936

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:
2264 -2700 -2882 -2762 -2262 -2448 -2880 -2684 -2568 -2294 -2838 -2544 -2786 -2734 -2690 -2882 -2882 -2486 -2786 -2456 -2574 -2466 -2604
-2494 -2536 -2190 -2494 -2786 -2472 -2342 -2678 -2838 -2774 -2186 -2716 -2120 -2446 -2738 -2526 -2574 2824 -2448 2206 -2504 -2842 -2528
-2758 -2574 -2762 -2160 -2668 -2800 2700 -2880 -2248 -2700 -2256 -2638 -2432 2872 -2762 -2840 -2448 -2634 2568 -2842 -2774 -2446 -2354 2330
-2874 -2600 -2774 -2732 -2190 -2692 -2446 -2528 -2380 -2762 -2526 -2912 -2836 -2588 2752 -2496 -2562 -2826 -2786 -2678 -2650 -2586 -2798
-2192 -2550 -2206 -2444 -2700 -2740 -2854 -2692 2718 -2558 -2566 -2140 -2536 -2520 -2758 -2488 -2534 -2786 -2440 -2816 -2408 2752 -2514
-2302 -2294 -2730 -2566 2440 -2892 -2880 -2220 -2432 -2700 -2566 -2226 -2520 -2838 -2800 2484 2550 -2880 -2376 -2486 -2362 -2256 -2174 -2838
-2520 -2818 -2882 -2852 -2230 -2800 -2568 -2856 -2296 -2406 -2920 -2296 -2408 -2786 -2640 -2798 -2526 -2200 -2762 -2456 -2892 -2762 -2544
-2664 -2902 -2858 -2162 -2640 -2528 -2734 -2868 -2448 -2450 -2598 -2560 -2426 -2152 2704 -2226 -2784 -2408 2918 -2296 2446 -2584 -2738 -2826
-2640 -2408 -2740 -2654 -2768 -2870 -2758 -2342 -2448 -2902 -2410 -2740 2880 -2812 -2440 -2446 -2340 -2858 -2190 -2760 -2250 -2252 -2338
-2448 -2448 -2366 -2202 -2472 -2754 -2308 -2612 -2628 -2534 -2656 2340 -2344 -2580 -2526 -2494 -2534 2194 2800 -2734 -2880 -2688 -2526 -2700
2738 -2800 2818 -2882 -2654 -2482 -2526 -2880 -2600 -2486 -2780 -2592 -2266 -2836 2328 -2396 -2878 2798 2162 -2162 -2778 -2880 2138 -2526
-2752 -2690 -2560 -2120 -2542 -2740 -2718 2616 -2504 -2184 -2598 2808 -2910 -2678 -2170 -2160 -2640 -2640 -2230 -2388 -2576 -2800 -2734
-2722 2832 -2440 -2762 -2494 -2160 -2508 -2918 -2268 -2566 -2722 -2522 -2740 -2332 -2660 -2526 2866 -2178 -2638 -2760 -2730 -2448 -2842
-2544 -2586 2486 -2638 -2722 -2640 -2440 -2650 -2574 -2566 -2722 -2190 -2254 -2444 -2212 -2488 -2910 -2640 -2624 2626 2234 -2256 2798 -2822
-2750 -2700 -2368 -2256 -2698 -2214 -2184 -2882 -2472 -2740 -2450 -2678 -2892 -2616 -2164 -2868 -2722 -2426 -2702 -2788 -2700 -2774 -2230
-2540 -2816 -2700 -2566 -2522 -2614 -2404 -2472 -2640 2606 -2568 -2232 2570 -2652 -2852 -2228 -2762 -2798 -2808 -2474 -2366 2756 -2446 -2744
-2786 -2824 -2798 -2564 -2566 -2656 -2510 -2366 -2910 -2446 -2124 -2296 -2740 -2336 -2606 -2920 -2472 -2178 -2600 2920 -2910 -2146 -2432
-2534 -2762 -2652 -2276 -2382 -2600 2692 -2734 2744 -2652 -2444 -2638 -2448 -2700 -2180 -2900 -2652 -2190 -2256 -2714 -2284 -2802 -2742
-2740 -2694 -2842 -2798 2580 -2748 -2758 -2406 -2228 -2692 -2296 2122 -2446 -2636 -2256 -2446 -2880 -2504 -2774 -2446 -2826 -2566 -2664
-2902 -2282 -2564 -2120 -2560 -2160 -2470 -2440 -2174 -2566 -2526 -2526 -2202 -2634 -2362 -2520 -2624 -2828 -2828 -2734 -2774 -2650 -2640
-2444 -2432 2234 -2740 -2446 -2506 -2566 -2734 -2194 -2520 -2628 -2860 -2130 -2834 -2600 2226 -2748 -2584 -2242 -2892 -2826 -2920 -2364
-2638 -2290 -2912 2920 -2170 -2774 -2502 -2664 -2130 -2526 -2712 -2294 -2394 -2826 -2534 -2366 -2294 -2722 -2762 -2696 -2522 -2510 -2842
-2852 2554 -2528 -2440 -2594 -2494 -2678 -2370 -2880 -2486 -2446 2406 -2700 -2852 -2534 -2740 -2880 -2882 -2876 -2838 -2712 -2406 -2362
-2268 -2194 -2562 -2486 -2790 -2812 -2166 -2560 -2420 2120 -2566 -2802 -2786 -2874 -2852 -2494 -2526 -2496 -2714 -2490 -2638 -2820 -2640
2874 -2534 -2294 -2440 -2160 -2692 -2382 -2446 2876 -2484 -2406 -2600 -2852 -2254 -2818 -2486 -2690 -2466 -2762 -2798 -2384 -2716 -2230 2820
-2576 -2362 -2170 -2446 -2520 -2448 -2406 -2800 -2122 -2342 -2120 -2264 -2154 -2734 -2846 -2480 -2520 -2892 -2742 2568 -2544 -2718 -2862
2616 -2802 -2842 -2566 2674 -2490 -2692 -2740 -2774 2616 -2598 -2776 2580 -2472 -2560 2568 -2920 -2228 -2232 -2382 -2486 -2798 -2862 -2666
-2574 -2534 -2778 2136 -2880 -2652 -2762 -2598 -2774 -2256 -2288 -2368 -2522 -2382 -2692 -2608 -2842 -2650 -2528 -2344 -2858 2194 2740 -2254
-2534 2230 -2480 -2792 -2254 -2190 -2598 -2774 -2484 -2298 -2652 -2758 -2600 -2550 2900 -2882 -2394 -2738 -2520 -2560 2776 -2348 2920 -2712
-2576 -2758 -2408 -2692 -2892 2646 -2740 -2192 -2568 -2858 -2842 -2560 -2554 -2700 2788 -2746 -2838 -2566 -2408 -2480 -2798 -2586 -2762
-2160 -2232 -2296 -2258 -2616 -2488 -2254 -2170 -2524 -2852 -2526 -2600 -2692 -2778 2870 2892 -2530 -2716 -2714 -2852 -2652 -2870 2914 -2440
-2722 -2676 -2406 -2740 -2496 -2628 -2760 -2146 -2228 -2616 -2486 -2450 -2190 -2504 -2512 -2490 2524 -2826 -2192 -2446 -2888 -2520 -2840
2738 -2892 -2910 -2778 -2378 2786 -2610 -2910 -2408 -2722 -2252 -2842 -2472 -2242 -2910 -2254 -2256 -2734 -2654 -2546 -2734 -2122 -2250
-2794 -2758 -2302 2122 -2754 -2722 -2818 -2692 -2880 -2296 -2716 -2560 -2842 -2876 -2826 -2230 -2672 -2480 -2600 -2190 -2818 -2624 -2594
-2748 -2804 -2686 -2664 -2588 -2778 -2486 -2744 -2408 -2296 -2314 -2718 -2704 2160 -2178 -2786 -2690 -2784 -2372 2600 -2250 -2740 -2762
-2586 -2446 -2690 -2774 -2690 -2874 -2640 -2828 -2762 -2472 -2774 -2722 -2166 -2526 2646 -2164 -2446 -2382 -2262 -2838 2880 -2758 -2652 2346
-2840 2150 -2566 -2608 2646 -2294 2732 -2778 -2820 -2294 -2774 -2342 -2734 -2448 -2164 -2862 -2322 -2156 -2196 -2260 -2700 -2842 -2486 -2882
-2598 -2340 -2562 -2746 -2294 -2798 -2880 -2366 -2852 -2310 -2142 2488 -2182 -2852 -2892 -2700 -2842 -2692 -2290 -2334 -2852 -2638 -2484
-2124 -2880 -2758 -2408 -2870 -2842 -2530 -2312 -2782 -2650 -2656 -2598 -2446 -2788 -2480 -2744 -2468 -2304 -2772 -2860 -2722 -2216 -2706
-2722 -2746 -2838 -2776 2178 -2182 -2408 -2870 -2574 -2494 -2408 -2690 -2774 -2818 -2746 -2408 2814 -2144 -2568 2762 -2406 -2320 -2882 -2544
-2752 -2296 -2600 2148 2582 -2472 -2650 -2502 -2842 -2432 -2902 -2378 2902 -2842 -2170 -2520 2528 -2862 -2758 2120 -2842 -2142 -2856 -2614
-2406 -2294 -2540 -2880 -2600 2576 -2488 -2316 -2366 -2490 -2758 -2160 -2452 -2862 -2862 -2342 -2734 2600 -2342 -2230 -2824 -2296 -2494 2340
-2880 -2744 -2784 -2540 -2650 -2798 2470 2322 2774 -2650 -2566 -2740 -2650 -2600 -2892 -2652 -2526 -2864 -2798 -2674 -2214 -2560 -2828 -2138
-2162 -2616 -2472 -2456 -2662 -2480 -2600 -2686 -2638 -2720 -2526 -2290 -2656 -2620 -2842 -2650 -2384 -2722 -2920 -2690 -2650 -2370 -2406
-2370 -2638 -2504 -2652 -2774 -2162 -2566 2818 -2256 -2208 -2760 -2626 -2188 -2182 -2718 -2128 -2484 -2536 -2712 -2432 -2580 -2154 -2700
-2784 -2256 -2408 -2640 -2386 -2558 -2840 -2902 -2230 -2560 2204 -2594 -2786 -2370 -2700 -2862 -2368 -2640 -2382 -2690 -2902 -2704 -2540
-2526 -2120 -2186 -2202 -2526 -2210 -2690 -2882 -2728 -2566 -2342 -2534 -2726 -2652 -2406 -2440 -2338 -2124 -2140 -2650 -2920 -2894 -2304
-2502 -2746 -2678 -2384 -2162 -2334 -2284 -2294 -2190 -2634 -2406 -2708 -2652 -2160 -2408 -2590 -2410 -2772 -2640 -2256 -2190 -2882 -2480
-2294 -2892 -2590 2920 -2526 2854 -2366 -2870 -2734 -2560 -2244 -2416 -2840 -2496 2534 -2296 -2448 -2480 -2606 -2722 -2566 -2798 -2842 -2714
-2126 -2910 -2230 -2860 -2530 -2564 -2686 2738 -2160 -2566 -2230 -2342 -2446 -2488 -2640 -2784 -2600 -2786 -2882 -2816 -2778 -2910 -2448
-2744 -2840 -2480 -2450 -2408 -2734 -2214 -2786 -2834 -2672 -2870 -2814 -2168 -2138 -2566 -2178 -2542 -2190 -2612 -2882 -2840 -2406 2200
-2322 -2882 -2840 -2300 -2882 -2494 2120 2120 -2692 -2256 -2746 -2526 -2650 -2880 -2176 -2354 -2600 -2342 -2760 -2526 -2534 -2130 -2800 2274
-2872 -2638 -2444 2704 -2382 -2700 -2694 2266 -2762 -2784 -2254 -2542 -2448 -2882 -2902 -2862 -2722 -2788 -2526 -2126 2160 -2566 -2724 -2692
-2342 -2526 -2840 2138 -2920 -2486 -2758 -2190 2204 -2428 -2894 -2540 -2342 -2232 -2232 -2254 -2176 -2744 -2544 -2852 -2574 -2448 -2676
-2528 -2560 -2638 -2154 -2162 -2496 -2348 -2620 -2524 -2882 -2504 -2560 -2786 -2842 -2382 -2640 -2758 -2366 -2848 -2472 -2120 -2638 -2166
-2162 -2566 -2366 -2282 -2676 -2668 2122 -2778 -2448 2698 -2692 -2740 -2910 -2880 -2798 -2560 -2446 -2844 -2294 -2746 -2566 -2526 -2774
-2138 -2448 -2840 -2408 -2598 -2666 -2330 -2734 -2690 2860 -2190 -2838 -2762 -2576 -2406 2820 -2416 -2194 -2760 -2780 -2892 -2450 -2144
-2380 -2376 -2520 -2254 -2566 -2584 -2786 -2448 -2712 -2342 2270 -2230 -2616 -2192 -2690 -2448 2326 2872 2876 -2282 2120 -2252 -2710 -2192
-2230 -2270 -2690 -2212 -2230 -2774 -2254 -2694 -2294 -2504 -2700 -2492 -2682 -2762 -2566 -2798 -2798 -2652 -2528 -2650 -2550 -2526 -2754
-2230 -2838 -2164 -2892 -2190 -2762 -2190 -2256 2180 -2446 -2892 -2142 -2852 -2584 2382 -2446 -2722 2916 -2590 -2544 -2748 2120 -2486 -2800
-2690 -2486 -2722 -2378 2826 -2546 -2526 -2734 2748 -2366 -2896 -2480 -2892 -2762 -2754 -2700 2834 -2188 -2870 -2842 -2568 -2286 -2292 -2848
-2816 -2860 -2852 -2692 -2526 -2786 -2164 -2632 -2446 -2190 -2484 -2902 -2526 -2598 -2678 -2722 -2566 -2826 -2160 -2382 -2566 -2748 -2882
-2590 -2344 -2854 -2714 -2598 -2788 -2526 -2676 -2180 -2566 2580 -2746 -2776 -2544 -2534 2894 -2526 -2468 -2738 -2652 -2370 -2192 -2786
-2130 -2892 -2842 -2230 -2230 -2834 -2340 -2448 -2420 -2382 -2600 -2382 -2494 -2336 -2410 -2186 -2188 -2652 -2692 -2702 -2678 -2634 -2330
-2242 -2544 -2886 -2734 -2862 -2448 -2254 -2382 -2566 -2360 -2568 -2448 -2652 -2488 -2692 -2916 2486 -2282 -2342 -2598 -2408 -2174 -2432
-2740 -2520 -2760 -2562 -2598 -2920 2816 -2818 2268 -2566 -2130 -2282 -2296 -2560 -2322 -2600 -2788 -2758 -2882 -2652 2528 -2602 -2740 -2160
-2518 -2740 -2440 -2406 -2566 -2330 -2826 -2868 -2624 -2714 -2408 -2798 -2628 -2480 -2652 -2700 -2798 -2798 -2574 -2652 -2566 -2640 -2170
-2762 -2722 -2620 -2488 -2862 -2722 -2230 -2798 -2460 -2448 -2336 -2424 -2406 -2190 -2798 2534 -2230 -2750 -2446 -2722 -2586 -2874 -2652
2870 -2786 2814 -2436 -2384 -2600 -2534 -2526 -2864 2834 -2704 -2920 -2798 -2650 -2722 -2322 -2698 -2378 -2862 -2690 2566 -2190 -2706 -2774
2166 -2640 -2734 -2524 -2762 -2870 -2526 -2432 -2692 2798 -2546 -2536 -2568 -2718 -2244 2740 -2902 2754 -2480 -2878 -2868 -2486 -2566 -2404
-2294 -2526 -2534 -2828 -2160 -2880 -2580 -2490 -2342 -2408 -2652 -2718 -2826 -2466 -2480 -2740 -2432 -2228 -2338 -2870 -2534 -2210 -2296
-2284 -2486 -2230 -2410 -2526 -2334 2718 -2526 -2598 -2852 -2190 -2842 -2380 -2700 -2694 -2638 -2648 -2718 2542 -2432 -2566 -2588 -2880 2188
-2448 -2228 -2842 -2160 -2692 -2838 -2562 -2598 -2754 -2830 -2446 -2380 -2440 -2692 -2408 -2190 2854 -2522 -2628 2272 -2448 -2882 -2504
-2920 -2722 -2882 -2910 -2324 -2842 -2336 -2734 -2296 2758 -2852 -2566 -2566 -2580 -2230 -2472 -2528 -2870 -2296 -2920 -2520 -2544 -2514
-2798 -2880 -2760 2418 -2864 -2692 -2120 2380 -2600 -2254 2486 2432 2486 -2744 -2824 -2242 -2382 2300 -2294 -2690