MAX-CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp22/
normalized-fapp22-1750-0.xml
MD5SUM9a4e6098c7014d2e43e37229a7ed8846
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints172
Best CPU time to get the best result obtained on this benchmark3600.06
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 - Tabu Engine 2008-05-301112766MSAT (TO)172 3600.06 3618.12
Concrete + CSP4J - MCRW Engine 2008-05-301112765MSAT (TO)330 3600.01 3605.84
Sugar v1.13+minisat1112770? 706.325 754.118
Sugar++ v1.13+minisat-inc1112769? 713.638 721.855
AbsconMax 112 pc-w1112767? 1818.59 1822.77
AbsconMax 112 pc-d1112768? 1825.25 1833.87

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: 172
Solution found:
2340 -2700 -2882 -2762 -2262 2448 2868 2682 2566 2294 2836 -2542 2786 2734 -2690 2882 -2882 -2486 2786 2578 -2574 -2474 -2602 2494 -2534
-2190 2494 2786 2472 -2342 2678 -2838 -2774 -2152 2714 -2120 -2446 -2746 -2526 2574 -2822 -2448 2206 -2504 -2842 2526 2758 2574 -2762 2252
2668 2798 -2694 -2880 -2126 -2700 -2256 -2638 -2432 -2868 -2762 -2840 -2440 2634 2584 -2842 -2774 2446 2348 -2330 2836 2600 -2774 -2724 2190
2692 2440 -2528 -2374 2762 -2526 2920 -2776 -2588 -2280 2494 -2556 2826 2786 -2678 2650 -2602 2798 2188 -2564 2188 2444 -2700 2740 2850 2692
2718 2558 2566 -2134 2534 2520 2758 -2486 -2534 2786 2440 -2814 -2408 2760 -2514 -2732 -2294 2728 2566 2440 -2892 -2870 2216 -2432 -2700
-2566 -2226 -2534 -2838 2798 -2480 2484 -2874 -2374 -2486 -2364 2256 -2866 2838 -2520 -2818 -2882 -2850 2230 -2798 -2566 -2850 -2294 2406
-2880 -2296 2408 -2786 2640 2798 2526 -2160 -2762 -2464 -2892 -2762 2544 -2664 2902 2864 -2158 2640 2526 2734 -2868 -2446 2450 2598 -2558
-2610 2228 2698 2808 -2784 2408 2916 -2296 2444 -2448 -2740 2826 2640 -2408 -2740 -2652 -2768 -2870 -2274 -2288 -2448 2902 -2408 -2740 2152
2812 2216 -2446 -2336 -2858 2190 2766 -2250 2250 2164 2448 2446 2366 2202 2472 -2278 -2132 -2610 2626 2534 -2380 -2694 2342 -2452 -2526 2494
-2534 2844 2234 2732 2880 -2684 -2526 -2700 -2816 -2798 2816 -2882 -2664 -2482 2526 2880 2600 -2486 -2778 2444 2270 2844 2708 2396 -2874
-2798 2162 -2162 -2776 -2878 2900 -2526 -2282 -2690 2560 -2144 2544 -2740 2718 2628 2504 -2180 -2598 2808 2910 -2678 2172 2164 2640 2640
-2230 -2382 -2460 -2798 -2300 2722 2828 2440 2762 2494 2120 2502 -2914 -2768 -2566 2722 -2520 2740 -2332 2658 -2526 2862 -2176 2638 2758
2730 2448 2838 2538 2586 -2488 -2638 2722 2640 2440 -2650 -2574 2566 -2722 2190 2254 -2444 -2210 2486 2910 2640 -2624 -2404 2240 -2254 2806
-2828 2748 2700 2366 2254 -2700 -2218 -2184 2882 -2472 -2740 2448 2678 -2892 -2616 2166 -2872 -2722 -2426 -2702 2786 2700 2774 2230 2554
-2218 -2700 -2566 -2522 -2612 -2402 2472 -2640 2602 -2566 -2230 2572 2652 -2852 2226 -2758 -2798 -2808 -2474 2366 2764 -2446 -2738 2786
-2850 2798 -2562 -2566 -2378 -2524 2366 2910 2590 -2122 -2296 -2740 -2334 -2608 -2792 -2472 2178 2600 -2916 2910 2122 -2432 -2534 -2762 2652
-2270 2382 2600 2692 2734 -2738 2652 2444 2638 2446 -2698 2182 2128 -2652 -2190 -2256 -2722 2284 -2798 -2740 2738 2692 2842 2798 -2576 2746
-2758 2406 -2230 -2692 -2296 2126 -2446 -2636 2256 -2446 2880 2504 2774 -2446 -2826 -2566 -2662 2902 2282 -2560 -2122 -2560 -2160 2470 -2440
-2174 2566 -2526 2526 2834 -2630 -2358 2520 -2622 2828 -2832 2740 -2774 -2650 2640 -2444 -2432 -2798 -2740 -2446 2502 2566 -2734 2192 2520
2628 -2856 2126 -2830 2600 -2222 2748 2578 2242 -2892 -2822 2870 -2362 2638 2290 2912 2916 2868 -2774 2504 -2662 2130 -2526 -2710 -2294
-2388 -2826 2534 -2366 -2294 2722 -2762 -2704 2520 -2510 -2842 2852 2554 2526 2440 -2594 2494 -2678 2370 2880 2484 -2446 2406 2700 2852 2534
-2740 -2880 -2882 2884 -2838 -2720 -2406 2358 -2262 -2192 -2560 2486 -2790 2812 -2148 -2560 -2414 2136 -2566 2798 -2786 2908 2852 -2494
-2526 -2494 -2708 2490 2638 2816 2640 2870 2534 -2294 -2440 -2162 -2684 2382 2446 2880 -2484 2406 2600 -2852 -2254 2816 2486 2690 -2570
-2762 -2798 -2382 -2316 2230 -2212 2572 -2672 -2166 2446 2520 -2448 -2406 -2800 -2122 -2344 -2120 2774 -2152 -2734 -2842 -2480 2520 -2892
2742 2568 -2544 -2718 -2862 2612 2798 -2842 -2566 2670 -2490 -2692 -2294 -2774 2612 2598 -2776 2576 2472 2560 2462 -2908 -2808 -2230 -2382
-2486 2796 -2862 2664 -2574 -2534 2778 2134 -2880 2652 -2762 -2598 -2774 -2254 -2290 2366 -2520 2382 -2692 2608 2842 -2650 2526 -2342 -2858
2196 2734 2254 -2534 -2226 -2480 2788 2254 2190 2598 2260 -2484 -2296 2652 -2758 2600 -2550 2908 -2882 2388 2736 -2520 -2560 -2768 -2342
-2122 -2718 -2588 2758 -2408 -2692 2892 2658 2740 -2190 2566 2858 2842 -2560 2554 -2700 2788 2746 -2838 2566 -2408 -2176 2798 -2586 -2762
-2170 2230 2296 -2256 -2616 -2486 2254 2162 -2520 2852 -2526 2598 2692 2776 -2868 2892 -2308 -2714 -2706 -2852 2652 -2870 2914 2440 -2722
-2676 2406 -2740 2494 -2628 -2758 2134 2228 -2416 -2486 2448 -2190 -2504 2524 2490 2520 2826 -2190 -2446 2882 -2520 -2840 2740 -2892 -2910
-2776 -2376 2786 2608 -2910 2408 -2722 -2250 2842 2472 2242 2910 -2254 2256 2734 2652 -2546 -2734 2120 2250 2794 2758 2302 -2122 -2746 2722
2824 -2692 2880 2296 2714 2560 -2842 2816 2826 -2230 2670 -2480 -2600 2188 -2818 2638 2594 2746 -2802 -2346 2662 -2598 -2776 -2486 -2742
-2406 -2294 -2310 2718 2702 -2160 -2180 2786 -2768 -2812 2372 2600 -2250 2740 -2762 2586 2446 2690 -2774 -2690 -2894 -2640 2828 -2762 -2484
-2774 2722 2166 -2526 -2648 -2162 -2452 2382 -2262 2838 2888 -2758 -2652 -2342 -2840 -2148 -2566 -2602 -2386 2294 2724 2776 2818 2180 -2774
2342 2734 -2442 -2164 2862 2324 -2132 -2172 -2260 2700 2842 -2486 2882 -2596 -2328 2560 -2746 -2294 -2798 -2880 -2366 -2852 2216 2142 2482
-2180 -2852 -2892 -2700 -2842 2692 -2290 -2328 -2852 2638 2484 -2124 -2880 -2758 -2408 2870 -2842 -2532 2236 -2780 2650 2656 2598 -2446 2780
-2480 2744 -2462 2300 -2772 -2174 -2722 2820 2704 2722 2772 -2838 2774 -2178 -2856 2400 2870 2574 -2492 2408 -2690 2768 2818 2746 -2408
-2808 2896 -2566 2762 2406 -2132 -2882 2544 -2748 2296 2600 -2148 2578 2472 -2650 2504 -2838 -2432 2902 -2194 2902 2842 2170 -2520 2504
-2862 2276 2130 2842 -2144 -2862 -2614 -2406 -2294 -2536 -2880 2600 -2576 2486 -2310 2366 2490 -2758 2136 2452 -2862 -2862 -2342 -2734 2596
2342 2230 -2210 -2296 -2494 2336 2752 -2744 2784 2540 2650 -2798 -2564 2318 2780 -2650 -2566 2740 2650 -2600 2892 2650 -2526 2170 -2798
-2670 -2214 -2472 2828 2136 2878 2626 -2472 2456 -2662 2480 2600 2684 2638 -2720 -2526 -2290 2666 -2614 2842 -2650 -2382 -2722 -2914 2690
2650 2370 -2406 -2370 -2638 -2504 2652 -2774 -2160 2566 2816 2256 -2166 2760 -2626 -2852 -2858 -2718 -2126 2480 -2534 -2710 2432 -2574 -2152
2700 -2784 2256 -2408 2640 2382 -2556 2840 -2902 2230 -2560 2830 -2594 -2786 2368 2700 -2172 -2368 2640 -2382 2690 2902 2704 -2536 2526 2920
2174 -2198 2526 -2210 -2690 -2882 2724 2566 -2342 2532 -2724 -2652 -2406 -2440 -2154 -2124 -2898 2650 2812 -2912 -2306 -2504 -2746 2678 2382
-2160 2140 2282 -2294 2190 2634 -2406 -2322 -2652 -2120 2406 -2604 -2410 2772 2640 -2256 -2190 -2882 -2480 -2288 -2892 2442 -2920 -2526
-2872 2366 2870 -2734 2560 2242 -2618 2840 -2494 2534 -2296 2446 -2480 -2604 2722 -2566 -2798 2842 2708 -2126 -2910 2230 -2866 -2530 2562
2698 -2738 -2162 2566 2230 2342 -2446 2486 2640 2782 -2600 2786 -2882 2816 2254 -2910 -2446 -2744 -2840 -2480 -2450 -2408 -2734 -2822 -2786
-2796 -2670 -2870 -2818 2166 2138 2566 2858 -2544 -2190 -2612 2882 -2840 2406 2198 2318 -2882 -2840 -2378 -2882 -2494 -2176 2212 -2692 -2256
-2746 -2526 -2648 -2920 -2176 -2348 -2600 -2342 -2758 2526 -2534 -2132 -2798 2270 -2914 -2638 2446 2698 2382 2700 -2692 -2262 2762 2784 2254
2544 -2448 -2882 2902 2862 2722 2780 -2526 -2124 2184 -2566 -2722 2692 -2342 2526 -2838 -2138 -2920 -2486 -2758 2190 2206 -2428 2890 -2496
-2342 -2230 -2230 -2254 2174 -2744 -2544 2852 2574 -2448 -2674 -2526 -2560 -2638 -2120 -2162 -2496 2172 2614 -2522 2882 -2504 -2560 -2786
2842 -2382 2640 2758 2366 -2848 -2472 2120 -2638 2164 -2166 2566 -2366 -2282 2674 2666 -2120 2776 2448 -2698 -2692 2740 -2910 2876 2798 2560
-2446 -2842 2294 -2746 -2566 -2526 2774 2140 2448 -2840 2408 2598 -2664 2330 2734 2690 2856 -2190 -2838 -2762 -2572 2400 -2816 -2424 -2160
-2758 -2786 2892 -2450 -2140 -2368 -2134 2520 -2254 2566 -2582 -2786 2446 -2320 -2342 -2266 -2230 -2420 -2190 -2690 2448 -2330 -2158 -2876
-2282 -2120 2250 -2708 2190 2230 -2176 2690 2210 -2230 2774 2254 -2694 -2288 -2504 2700 -2492 2682 -2762 -2566 -2798 2798 2652 -2526 -2650
-2550 -2526 -2746 2230 2838 -2164 2892 2190 2762 2190 2256 -2176 2446 2892 -2140 -2852 2582 2382 -2446 -2722 -2120 -2590 -2544 2758 2122
2486 2798 -2690 2486 2722 -2124 2826 -2546 -2526 -2734 -2740 -2366 -2890 -2480 -2892 -2762 -2748 -2700 -2834 2158 2870 -2842 2566 -2748 2290
2842 -2816 -2916 -2852 -2692 -2526 2786 -2874 -2642 2446 -2190 -2484 -2902 2526 2598 2678 -2722 -2566 -2826 2158 2382 -2566 2740 2882 -2590
2342 -2178 2318 -2598 2786 2526 -2674 2174 -2564 2574 -2746 2776 -2544 -2534 2890 -2526 2468 2738 -2652 -2370 -2190 2786 -2122 -2890 2842
-2230 2230 -2868 -2338 2448 2420 2382 -2600 2382 -2494 -2334 2408 2162 -2188 -2652 -2684 2702 -2678 2630 2330 2242 -2544 2882 -2734 -2862
-2448 2254 -2382 2566 -2172 2562 -2446 -2652 -2486 -2692 -2916 -2548 2282 -2342 2598 -2408 2864 2432 -2740 -2520 2758 -2560 -2598 2918 2808
-2816 -2266 2566 -2912 -2224 -2296 -2556 2184 -2600 -2788 -2758 -2882 -2652 2544 -2596 -2740 -2176 -2518 -2740 2440 -2406 -2566 2328 -2826
-2868 -2622 2706 2408 2798 2628 -2480 2652 2700 -2798 -2798 2574 2652 -2566 -2640 -2166 2762 -2722 2618 -2486 -2862 -2722 2230 2798 -2460
-2448 -2334 2422 -2406 -2190 2798 2534 -2230 2750 -2448 2722 -2586 -2870 -2652 -2870 2812 -2822 -2436 -2382 2600 2534 -2526 2862 -2830 -2702
2914 -2798 -2650 2722 -2712 -2700 2374 2862 2690 -2562 2190 2704 2858 2166 2640 -2734 -2520 -2762 -2870 2526 2432 -2692 -2798 -2546 -2534
-2566 -2718 -2242 -2734 2902 2762 2480 -2876 -2868 2486 2566 2406 2294 2526 2534 2828 2880 2874 2594 2268 -2342 -2408 -2652 -2718 2826 2462
-2480 2740 -2432 -2222 -2336 2870 -2534 -2206 2294 -2282 -2486 -2230 2410 -2526 2328 2724 -2526 2598 -2852 -2190 2842 -2376 -2694 2340 2638
2648 -2718 2538 -2432 -2566 2588 2910 2188 -2448 2198 -2842 -2160 2692 -2838 -2574 2598 -2748 2828 -2446 -2384 -2440 -2692 2408 -2190 -2850
2516 2408 -2276 -2448 2882 2504 2910 2722 2882 2910 -2324 -2842 2174 -2734 2294 2758 2852 -2566 -2566 2580 2230 -2472 2526 2870 2294 2920
-2520 -2544 2514 -2798 2852 2758 -2414 2912 2692 -2124 2376 2600 2254 -2486 -2432 2502 2744 -2824 -2242 -2654 2300 2294 2690