MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-6.xml
MD5SUM3874290cda754699d3686661cf7c347b
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints309
Best CPU time to get the best result obtained on this benchmark3600.03
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 NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-301112771MSAT (TO)309 3600.03 3610.82
Sugar v1.13+minisat1112776? 777.599 782.992
Sugar++ v1.13+minisat-inc1112775? 848.893 856.733
AbsconMax 112 pc-w1112773? 1986.04 1994.92
AbsconMax 112 pc-d1112774? 1995.8 2016.95
Concrete + CSP4J - Tabu Engine 2008-05-301112772? (TO) 3600.01 3615.63

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Number of falsified constraints: 309
Solution found:
-2252 2700 2882 2762 -2248 -2448 2874 -2682 -2566 2294 2836 -2542 -2786 2734 2690 -2882 2882 -2486 2786 -2578 -2574 -2466 2602 -2494 -2534
2190 -2494 2786 -2472 -2342 -2678 -2838 2774 -2184 -2714 2120 2446 -2738 -2526 2574 -2216 -2448 -2836 -2504 2842 2526 -2760 -2574 -2762
-2308 2668 -2798 2342 2880 -2120 2700 2256 2638 2432 2170 -2762 2840 2600 -2634 -2572 -2842 2774 -2446 -2694 2328 2856 -2600 -2774 2312 2190
-2692 -2600 -2336 -2668 2762 -2526 -2912 -2776 -2588 2278 -2494 2486 2826 -2786 -2678 2650 -2588 -2798 2176 -2412 2180 2444 2700 2740 2868
-2692 2718 -2558 2566 -2136 -2534 2520 -2758 2486 -2534 -2786 2440 -2814 2408 2752 -2514 2732 2294 -2730 2566 2440 2892 -2862 -2162 2432
2700 -2566 -2224 -2520 2838 2798 2562 2360 -2162 2374 -2486 2352 2256 -2868 -2838 -2520 -2818 2882 -2880 2220 -2798 -2566 2186 -2294 -2406
-2918 2296 2408 2786 2640 -2798 2526 2162 -2762 -2448 2892 -2762 -2544 2664 -2902 2858 -2884 -2640 2526 2734 -2868 -2446 -2450 -2598 2558
-2284 2136 2338 -2812 -2784 2408 -2122 -2296 2598 -2448 -2740 2826 2640 2408 2740 2652 -2768 2870 -2270 -2342 -2448 -2902 -2408 -2740 2124
2812 -2438 -2446 2706 -2858 2190 2758 2250 2248 -2166 -2448 -2446 -2366 -2188 -2472 2278 -2172 2610 2626 2534 2380 2696 -2342 2452 2526 2494
-2534 -2844 -2226 -2732 -2880 2686 -2526 2700 2830 2798 -2818 2882 2652 2482 -2526 -2880 -2600 2486 2920 -2442 -2252 -2844 -2708 -2396 2164
2798 -2880 2160 -2776 2878 2912 -2526 2282 -2690 -2560 2128 2544 2740 -2718 -2616 -2504 -2162 2598 2872 2910 -2678 2158 -2174 -2640 2640
-2230 2660 -2456 2800 -2300 -2722 -2210 2440 2762 -2494 2120 2540 -2124 2768 -2566 -2722 2520 -2740 -2332 2658 -2526 -2176 2166 -2638 -2758
-2730 -2448 2200 -2504 -2586 -2488 -2638 -2722 -2640 -2440 2650 2574 2566 -2722 -2190 -2254 2444 -2208 -2486 -2910 -2640 2624 2404 2222
-2254 2798 2842 2748 -2700 -2366 -2254 -2700 2150 -2170 2882 -2472 2740 -2448 2678 -2892 -2616 2152 2880 -2722 -2414 -2702 2786 2700 2774
-2230 -2540 2218 -2700 -2566 -2522 -2612 -2402 2472 -2640 -2440 -2566 -2230 -2572 -2652 2852 -2816 2760 -2798 2808 -2474 -2366 2756 -2446
2298 -2786 -2844 -2836 2562 2566 -2378 -2500 -2366 2910 -2588 2920 2296 2740 -2336 -2610 -2916 -2472 -2864 2600 -2898 2910 -2120 -2432 2534
2762 -2652 2772 2382 -2600 2692 -2734 -2298 2652 2444 2638 -2446 -2700 2168 -2120 -2652 2190 -2256 2710 2284 -2800 -2740 -2740 -2692 2842
-2798 -2466 -2758 2758 -2406 -2212 2692 -2296 2156 -2446 -2636 -2256 2446 -2880 -2504 2774 -2446 -2826 -2566 -2662 -2902 2282 -2560 2120
2560 2160 -2470 -2440 -2130 -2566 2526 2526 -2838 2406 2684 -2520 -2622 2828 2860 -2732 2774 2650 -2640 2444 2432 -2802 -2740 2446 2540
-2566 2734 2850 2520 2628 2124 -2128 2208 -2600 -2820 2460 -2464 -2242 2892 -2216 2884 -2362 -2638 2290 -2910 2120 -2870 -2774 -2504 -2662
-2124 -2524 2710 2294 2654 2826 2534 -2366 -2294 -2722 2762 -2692 2520 2510 -2842 -2852 2554 -2526 2440 2594 -2494 -2678 -2366 -2880 -2558
-2446 -2404 -2700 2852 2534 2740 -2880 -2882 -2884 2838 -2712 2406 -2684 2780 -2850 -2560 -2486 2790 -2814 2140 2560 2628 2168 -2566 -2240
2808 2886 -2852 2494 -2526 2494 -2328 2468 -2638 2224 -2640 -2168 2534 2294 2440 -2160 -2352 -2382 -2446 2892 -2484 -2404 2600 2852 2254
2816 2486 2690 -2570 2762 -2798 -2382 2318 -2230 -2200 2466 -2674 -2876 2446 -2520 2448 -2406 -2800 -2120 2332 2918 2776 2890 2734 2196
-2480 -2520 -2892 2742 2566 -2544 -2718 -2862 2426 -2240 -2842 -2566 -2366 2490 2692 -2294 2774 -2428 2598 -2776 -2466 -2472 -2560 2462 2914
-2806 2230 2382 -2486 2796 2862 2668 2574 2534 -2778 2132 2880 2652 -2762 -2598 -2774 2254 2272 -2366 -2520 -2382 2692 2608 -2842 2650 -2526
2342 -2858 2182 -2302 -2254 2534 2816 2480 -2788 2254 -2190 2598 2248 2484 2296 -2652 -2758 -2600 -2550 -2920 -2882 -2654 -2738 2520 2560
-2268 -2700 2920 2710 -2568 -2758 -2408 -2692 2892 -2646 2740 -2190 2566 -2858 2842 -2560 -2554 -2700 2920 -2746 -2838 -2566 -2408 -2478
2800 2586 -2762 2160 2230 2296 2256 -2616 -2486 -2254 2160 2520 -2852 -2526 -2598 -2692 -2776 -2170 -2892 2176 2714 2330 -2852 2652 -2870
2914 2440 -2722 2676 2406 -2740 -2494 -2628 2758 2124 -2214 -2418 2486 -2448 2190 2504 -2524 -2490 2522 -2826 2190 2446 -2154 -2520 -2840
-2740 2892 2910 -2776 -2160 2786 -2608 2910 -2408 -2722 -2248 -2842 -2472 2242 -2910 2254 -2256 -2734 -2652 -2546 -2734 2120 2138 -2794
-2796 2302 -2920 -2290 -2722 2818 -2692 -2872 -2296 -2714 -2560 2842 2816 -2826 2230 2670 -2480 2600 -2854 2818 -2626 -2594 2746 -2802 2344
-2662 -2746 2778 -2486 -2742 -2406 -2294 -2732 2718 -2702 -2882 2166 -2786 2690 -2784 -2372 2600 2250 2740 -2762 2586 -2446 -2690 -2774
-2690 -2908 -2640 -2828 2762 2472 -2774 -2722 2164 2524 -2650 2880 2448 -2382 2262 2838 -2920 -2760 -2652 2700 -2840 -2894 -2566 2440 2386
-2294 -2312 -2790 2818 2234 -2774 -2342 -2734 -2598 -2878 -2862 -2306 -2154 -2194 -2168 2700 -2842 -2486 -2882 -2596 -2320 2560 -2748 2294
2798 2880 -2366 2852 -2142 -2128 -2558 -2162 -2852 2892 2700 -2842 -2692 2290 2714 2852 -2638 -2484 -2918 -2880 -2758 2408 -2870 -2842 -2532
-2234 -2780 -2650 -2656 2598 -2446 2256 -2480 2744 2580 -2292 -2772 2158 -2722 -2820 -2708 -2722 2756 -2838 -2774 2864 2856 2640 -2870 2574
2492 2408 -2690 -2266 2818 -2746 -2408 2226 -2914 2566 -2762 -2406 -2222 2882 -2544 2748 2296 2600 2894 -2464 2472 -2650 -2504 2200 -2432
-2902 -2162 2902 2842 -2164 -2520 2504 -2896 -2276 2120 2842 -2130 -2892 2614 2406 -2294 -2506 2880 2600 2576 2486 -2732 -2366 -2490 -2758
2122 2452 2862 -2862 -2342 2734 2442 2342 -2230 -2198 -2296 -2494 -2706 -2876 -2744 2784 2540 -2650 -2798 2562 2724 -2780 -2650 2566 -2740
2650 -2600 -2892 -2650 -2526 -2172 2798 -2368 -2200 -2474 2828 -2126 -2890 -2612 -2470 -2456 -2662 -2480 -2600 -2828 2638 -2720 -2526 -2290
2656 2424 2842 -2650 -2382 -2722 2122 -2690 -2650 2370 2406 -2368 2638 -2504 2652 -2774 2920 -2566 -2816 -2256 2160 2760 -2626 -2852 2858
2718 -2322 2562 2534 -2710 -2432 -2464 2890 -2700 2784 -2256 2408 2640 2660 -2556 -2840 -2902 -2230 -2560 2832 2594 -2788 -2368 -2700 2152
-2368 -2640 -2382 2690 -2902 -2704 -2506 2526 -2920 2164 -2844 -2526 -2178 -2690 -2882 2726 -2566 -2342 -2532 -2734 -2652 -2834 -2440 2122
-2122 2920 -2650 -2918 2896 -2290 -2504 -2746 -2678 -2382 -2160 2274 2282 -2294 2190 2634 -2406 2322 -2652 2122 -2406 -2592 -2410 2774 -2640
-2256 -2190 2882 -2480 2754 -2892 -2442 -2920 -2526 -2856 -2366 -2870 -2734 -2560 2242 2620 -2840 2494 2534 2296 2446 -2480 2604 2722 2566
2798 -2842 2328 2124 2910 -2230 -2918 2530 -2562 -2690 -2842 -2172 2566 2230 2342 2444 2486 2640 2782 -2600 -2786 -2882 2816 -2252 2910 2446
-2744 -2840 -2480 -2450 -2408 -2734 -2824 -2786 2816 -2670 2870 -2806 -2282 -2904 -2564 2874 -2544 2190 -2612 2882 2840 2406 -2844 -2724
2882 2840 -2372 -2882 -2494 -2162 2268 -2692 2256 -2746 2526 -2648 2878 2162 -2694 -2600 -2342 2758 -2526 2534 -2120 2888 -2772 -2870 2638
2446 -2338 2382 2700 -2692 -2780 -2762 2784 -2254 2542 -2448 -2882 -2902 2862 -2722 -2256 -2526 2918 2168 2566 2722 -2692 -2342 -2526 -2758
-2904 2920 2486 2758 2190 2192 -2428 -2908 -2492 -2342 -2230 -2228 2254 2172 -2744 -2544 2874 2574 -2448 2674 -2526 -2560 -2638 2122 2146
2496 -2132 -2424 -2522 -2882 2504 2560 2786 -2842 2382 -2640 2758 -2364 -2912 -2472 2920 -2638 2878 2280 2566 -2366 -2282 2674 -2666 -2920
-2778 2448 -2802 -2692 2740 2910 2160 2798 -2560 2446 2842 2294 -2746 -2566 2526 2774 -2120 -2448 -2840 2408 2598 -2666 2326 -2734 2690
-2182 2190 -2838 2762 2468 2640 2222 -2410 2162 -2760 2792 2892 2450 2122 -2360 2124 -2520 2254 2566 -2582 -2786 2446 -2324 2342 -2776 -2230
-2420 2188 -2690 -2448 2318 2142 -2876 -2282 -2120 -2250 2708 -2142 -2230 2182 2690 -2208 2230 2774 -2254 2694 -2754 -2504 -2700 -2492 2682
-2762 -2566 -2798 2798 -2652 -2526 -2650 -2550 -2526 2290 -2230 2838 -2162 2892 -2190 -2762 2190 2256 2122 -2446 2892 -2122 -2852 -2582 2382
-2446 2722 -2120 -2590 -2544 -2750 2132 2486 2798 2690 2486 2722 -2126 2826 2546 -2526 -2734 2296 2366 -2146 -2480 -2892 -2762 -2288 2700
-2834 2174 2870 -2842 2566 -2752 -2290 -2196 2816 -2900 -2852 -2692 -2526 -2786 -2890 2630 -2446 2190 -2484 -2902 -2526 2598 -2678 -2722
-2566 -2826 2884 -2382 -2566 2296 2882 -2590 -2342 -2178 2320 -2598 -2786 2526 -2674 -2176 2564 -2468 -2746 2776 -2544 2534 -2146 -2526
-2468 -2738 -2652 -2370 2190 -2786 2120 2920 -2842 -2230 -2224 2846 -2332 2448 -2420 -2382 2600 -2382 2494 -2334 2408 -2160 -2174 -2652
-2352 2702 -2678 -2408 2330 -2242 -2544 -2156 -2734 -2862 2448 2254 -2382 -2566 -2262 2480 -2446 -2652 -2486 2692 -2916 2546 -2282 2342
-2598 -2408 -2864 2432 2740 -2520 -2758 2560 -2598 -2918 -2228 2816 -2776 -2566 -2920 2214 -2296 -2486 -2174 -2600 -2788 2758 -2882 -2652
-2530 2446 2740 -2128 -2518 2740 -2440 2406 -2566 2328 2826 -2868 2622 -2330 2408 -2798 -2628 -2480 -2652 -2700 -2798 2798 -2574 -2652 2566
-2640 2168 -2762 -2722 -2618 -2486 2862 -2722 2204 -2798 -2460 2448 2334 -2420 2406 -2190 2800 2534 -2230 2750 2448 2722 2586 -2168 2652
2870 -2796 2828 -2436 -2380 -2600 -2534 2526 -2176 -2208 2702 -2918 2798 2650 -2722 -2714 2700 -2668 -2870 -2690 2480 -2190 -2706 2766 -2876
-2640 2734 -2522 -2762 2870 -2526 -2430 -2692 -2798 -2544 2534 2566 -2718 2242 -2302 -2902 2752 2480 2162 -2868 -2486 -2566 -2406 2294 -2526
2534 -2828 2878 -2878 -2582 2136 2342 -2408 2652 2718 -2826 2580 -2480 -2740 2432 2820 2120 -2870 -2534 2836 2294 -2282 2486 -2230 -2410
2526 -2714 -2716 -2526 2598 -2852 2190 -2842 2666 -2342 -2340 2638 -2648 2718 -2504 2432 -2566 -2588 -2844 2854 -2448 2134 -2842 -2146 -2692
-2838 -2562 -2598 2288 -2210 2446 -2378 -2440 -2692 -2408 -2190 -2186 2516 -2408 2274 -2448 -2882 2504 2902 -2722 -2882 -2910 2324 -2842
2164 -2734 -2294 2758 -2852 2566 -2564 2580 2230 -2472 -2526 -2870 2128 2912 -2520 -2544 -2514 -2798 2878 -2758 -2628 -2900 2692 2134 2664
-2600 2254 2486 -2432 -2488 -2744 2824 2242 -2654 2128 -2294 -2690