MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp36/
normalized-fapp36-2000-3.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-3.xml
MD5SUM1d1f1cebdc92b091f3f5ffe18a2e82b4
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints232
Best CPU time to get the best result obtained on this benchmark3600.01
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints18600
Maximum constraint arity2
Maximum domain size454
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18600
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-301113053MSAT (TO)232 3600.01 3598.42
Concrete + CSP4J - Tabu Engine 2008-05-301113054MSAT (TO)458 3600.01 3602.02
Sugar v1.13+minisat1113058? 552.1 626.937
Sugar++ v1.13+minisat-inc1113057? 571.128 582.308
AbsconMax 112 pc-w1113055? 721.017 728.034
AbsconMax 112 pc-d1113056? 729.694 736.552

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: 232
Solution found:
-2186 -2498 2434 2838 -2694 2746 2262 2498 -2534 2654 2046 -2238 -2618 2634 -2846 -2758 -2242 2206 -2042 2842 -2850 2442 2830 -2510 -2378
-2278 2730 1990 2550 -2378 2046 2050 -2562 -2610 -2894 -2802 2710 -2818 -2786 -2026 2854 2806 -2030 -2834 2894 -2894 -2570 -2578 2686 2786
2318 -2774 -2474 2014 -2566 -2518 2854 2686 -2854 2806 -2738 2154 2206 -2014 2370 -1990 2162 2462 -2474 2646 -2002 -2794 2826 2806 -2842
-2622 -2642 -2250 2098 -2046 2498 -2386 -2202 -2666 2586 2890 -2730 2294 2734 -2330 2086 -2818 2110 2778 -1998 2578 2042 2894 -2438 2194
-2706 2126 2602 -2738 2582 2606 2030 2718 -2366 2826 2122 2634 -2290 -2414 2534 1990 -2598 2246 -2890 1998 2810 -2890 -2738 2846 2602 2134
2002 -1990 2822 -2890 -2026 2510 2646 2478 2226 2646 2302 2274 2842 -2314 -1998 2718 2322 -2482 2894 -2850 2606 -2374 2274 2274 2458 -2770
-2530 -2854 -2850 2174 -2390 -2506 -2750 -2618 -2246 2654 -2462 -2626 -1998 -2890 2498 2510 -2698 2114 -2842 -2674 -2354 -2570 -2094 2430
2146 -2390 -2834 -2578 2834 2482 -2774 -2894 -2502 2030 2822 2538 -2454 -2758 -2274 -2366 -2350 -2002 2442 -2066 2242 2758 2298 2054 -2250
2030 2482 -2046 -2786 2162 1990 -2434 2890 -2414 -2774 -2098 2338 -2750 -2806 2658 2810 -2490 -2378 2614 2862 -2530 2066 -2530 2314 -2262
-2850 -2886 -2742 2470 2778 -2846 2746 -2274 -2714 2706 2466 -2374 2746 2130 2706 1990 1998 -2190 1990 -2890 -2746 2586 -2322 2334 -2446
1994 2506 2582 2286 2010 -2382 -2674 -2722 2018 -2410 2842 2846 2318 2826 -2262 -2870 2366 -2290 1990 2846 -2610 -2850 2886 -2622 -2082
-2786 -2854 2670 -2450 -2562 -2682 2590 -2474 -2014 -2894 1998 -2086 2326 2310 2490 2682 -2402 -2582 2270 -2242 -2606 2806 -2190 2846 -2822
-2838 -2174 2746 2614 2258 -2026 -2482 2650 -2622 -2602 2210 -2106 2534 -2130 2370 -2850 2878 2074 1990 -2094 2890 -2758 2710 -2786 -2762
-2782 -2890 -2626 -2766 -2474 2582 -2546 2390 2530 2470 2582 -2150 -2662 2070 2390 2786 -2350 2278 -2022 -2434 -2850 2030 2746 -2374 -2010
2614 2194 -2422 2242 2598 -2190 2030 -2862 -2058 -2850 2146 1990 -2654 1990 -2722 2030 2102 -2322 2362 2806 2082 1994 2426 -2434 2598 1994
-2546 2406 2582 -2370 -2002 2854 2018 -1994 -2038 -2674 -2850 -2798 2386 -2674 -2150 -2842 2222 2854 2426 2002 2550 2222 -2714 2882 -2778
2202 -2222 -2310 2854 -2146 -2014 2054 2146 -1990 -2214 2738 2878 -2598 2078 -2838 -2298 2894 -2374 2406 -2310 -2086 -2350 -2738 -2854 2014
-2682 -2886 -2794 2474 2522 2214 2062 2542 2894 -2018 2818 -2818 -2242 2522 2222 -2458 -2562 2850 2390 2166 2894 -2542 2686 2046 2030 2226
2842 -2286 2602 -2414 2418 -2586 2150 2334 -2166 -2710 -2422 2726 -2522 -2882 -2246 2286 2150 2350 -2294 -2174 2842 1998 -2326 2206 2554
2418 -2602 -2490 1990 -2546 -2370 2790 -2526 2006 -2190 -2374 -2406 2698 2662 2002 2666 1990 -2762 2462 -2854 2614 -2458 -2282 -2890 2146
-2762 2458 -2890 2578 2014 -2778 -2734 2098 -2126 -2686 2054 2854 -2842 2774 2702 -2362 -2626 2770 -2394 -1994 2466 -2890 2514 2778 2230
-2758 -2882 -2022 -2498 -2426 -2706 -2086 -2030 2670 2606 2642 -2006 2030 2894 -2202 -2482 2030 -1990 2190 -2654 2598 -2786 -2186 2810 -2866
2218 -2710 2378 2426 -2582 -2474 -2086 -1990 2366 2870 2054 2242 2226 2434 -1990 2846 2642 -2798 2374 2534 2122 -2750 -2002 2318 2726 2190
2530 2710 2882 -2034 2862 -2362 2882 2854 1998 -2130 2622 -2742 2478 2334 2506 -2054 -2710 1994 2702 2318 2210 2490 2654 2786 -1990 -2058
2878 2018 2178 -2194 2002 -2758 -2662 1994 2274 -2722 2182 2886 1990 -2894 -2006 2590 2706 2702 -2018 -1990 2822 2894 -2350 2878 1990 2274
-2098 -2858 2066 -2014 -2490 2826 2874 -2878 2214 2546 2090 -2018 2430 -2194 2722 2622 -2854 -2738 2682 -2894 -2490 -2246 2394 -2782 -2854
-2494 -2682 2642 2790 -2570 2750 -2602 -2270 -2466 -2450 2630 -2030 -2142 2570 2526 -2754 2446 -2346 -2602 2674 2070 2662 2866 2394 -2490
-2854 2894 2814 -2118 -2182 -2338 2850 -2890 -2366 2226 -2894 -2406 2602 2106 -2078 2230 -2422 -2710 2626 2042 -2446 -2850 2734 2566 -2598
-2674 2202 -2562 -2662 2418 -2850 2038 -2322 2690 -2882 2034 2690 2266 2718 -2534 -2710 -2058 2342 -2114 2314 2310 2602 -2558 2806 1990 2674
-2350 -2130 -2306 2578 2562 -2390 2446 2306 -2546 -2006 2478 2634 2034 2542 -2682 2514 -2806 -2454 -2170 2042 -2518 -2530 2030 2030 2890
-2646 -2282 2794 2850 2058 2682 2470 -2438 -2090 -2406 -2590 2478 -2030 2794 -2746 2578 -2122 2810 2170 1990 -2410 2646 -2382 2138 2266 2202
-2386 2246 -2602 -2442 -2494 -2030 -2682 -2654 2842 2618 2030 -2590 2886 -2674 -2506 2802 2890 1994 -2606 2002 -2638 2130 -2170 -2462 -2650
2034 2174 2854 2334 2314 -2518 2522 -2502 -2390 1994 -2558 2646 2210 -2350 -2034 2030 2330 -2846 2882 -2034 -2214 -2774 2550 1994 -2374
-2542 -2110 -2726 2782 -2490 -1998 -2070 -2850 -2098 -2358 -2558 2170 -2810 1994 -2314 2834 -2622 -2746 -2002 -2002 -2774 -1998 2006 1990
2826 -2010 2774 -2474 2654 2334 -2434 2374 2046 -2566 2890 2646 -2894 2542 -2374 2694 2786 2642 2074 -2490 -2134 -2694 -2750 2210 1994 -2322
2282 -2442 2674 -2786 2442 2146 2558 2850 2014 -1990 -2234 2642 -2626 2602 2350 2666 2478 2822 -2850 2014 2522 2746 2502 2754 2686 2826 2430
-2094 2702 -2794 2890 2586 -2494 -2174 2686 -2566 2122 -2014 2854 2838 -2410 -2510 -2566 -2250 2858 2034 -2474 -2186 -2090 -2846 -2850 2302
2270 -2542 -2850 2466 2170 2078 -2274 -2326 -2726 2022 -2066 2798 -2542 -2766 -2890 -2606 2666 2462 -2030 2486 -2206 2350 2886 2718 2814
2610 2306 2766 -2766 2370 -2854 2410 2622 -2806 -2394 2406 -1990 -2406 2718 -2594 -2706 2894 -2302 -2434 2030 -2374 2590 -2274 -2414 -2698
-2034 2830 2686 2422 -1994 -2094 -2286 2886 2030 2762 -2350 2506 -2598 2562 2706 -2890 2530 -2794 -2894 -2110 -2466 -2558 2570 -2014 -2034
2042 2410 -2130 -2458 -2054 2418 2694 -2390 -2654 2122 -2414 -2402 2558 2482 2046 2438 2042 2734 2570 -1994 -2594 -2698 2862 -2330 -2382
2254 2878 2202 2650 2370 -2774 -1994 -2798 2566 -2442 2466 2622 2042 -2286 -2658 -2174 -2754 2370 -2598 2702 -2486 2522 -2014 -2642 -2074
-2850 -2602 2458 -2894 -2878 2086 -2550 -2714 -2478 -2190 -2498 2174 -2030 -1990 -2746 2894 2690 -2042 -2750 -1990 -2286 2238 2814 -2198
-2114 2046 2630 -2794 -2290 -2842 -2534 -2374 2322 2834 -2874 -2778 -2234 -2458 2826 -2894 2854 2642 2006 2818 2334 -2362 -2046 2434 2746
2462 -1990 2770 1990 2890 2742 2270 -2842 1994 2850 2846 -2894 -2190 -2606 1998 2362 -2894 2754 2746 -2890 2562 -2198 -2838 2042 2878 -2806
2422 -2606 -2362 2838 -2642 2754 2390 2110 -2894 -1990 2002 2554 1990 -2706 2270 -1998 -2146 -2170 2254 -2310 -2870 2402 -2114 -2878 2054
-1990 2230 2030 -2158 2518 -2838 2598 -1990 2490 -2858 -2058 -2854 2530 2178 2458 2118 -2350 2582 2190 -2838 -2154 -2698 -2310 2030 2574
-2774 -2034 -2854 2310 2674 2798 -2850 -2498 2002 2818 2774 2630 -2530 -2358 2850 -2238 2210 -2046 -2530 -2890 2710 2182 -2594 2610 2670
2538 -2726 2554 -2734 -2058 -2490 -2514 -2514 -2474 -2622 2154 2226 2826 -2842 -2786 -2818 -2886 -1990 2438 2330 2366 2302 2850 -2390 2482
2498 2266 -2006 -2706 2522 2498 2070 2854 2806 -2134 -2530 -2566 -2854 2598 2614 -2026 2482 2406 2734 2178 2538 -2494 2502 -2734 -2694 2442
-2054 1994 2290 -2598 2182 2846 2034 2558 -2030 -2502 -2334 -1994 2422 -2390 -2842 2826 -2158 -2070 -2822 -2358 -2282 -2894 -2370 -2254
-2790 2854 -2806 2270 -2726 -2414 2398 2006 2274 -2794 -2030 2294 -2710 2702 -2878 -2666 -2526 -2414 2230 -1994 2250 2894 -2314 2462 2854
-2350 2822 -2138 -2310 2546 -2146 2058 2774 2510 -2314 -2018 -2366 2026 -2750 2890 -2198 2698 2822 -2722 -2650 2886 -2894 -2754 2326 -2038
2118 2422 2106 -2582 -2606 2894 -2290 2130 -2066 -2458 -2302 -2826 2838 2054 2010 -2734 2758 -2730 -2326 2582 2158 2686 -2530 2014 -2854
2806 2350 -2558 -2786 -2566 2794 2194 2434 2250 -2458 2562 2558 2186 2030 -2786 -2574 -2106 2490 -2730 2482 -2718 2050 -2818 -2162 -2746
-2066 2450 2030 -2690 2078 -1994 2542 -2854 -2746 2178 2170 2854 2426 -2666 -2886 2086 -2650 2250 -2758 -2510 2802 -2198 -2854 -2502 -2574
-2694 2510 -2586 2894 -2562 -2278 -2346 -1990 2510 -2294 -2634 -2694 2694 2046 2542 2422 1990 -2098 -2302 2490 -2622 -2786 2222 -2318 2362
-2402 -2662 2022 -2634 -2038 -2562 2086 2670 2538 -1990 2258 -2290 -1994 -2030 2350 -2154 2574 2794 2570 -2450 -2394 -2218 -2334 2678 2422
-2546 2846 2014 2854 -2794 -2054 -2534 2330 2506 2062 -2306 -2066 2270 -2642 -2710 -2446 2450 -2330 2782 2666 -2382 2530 2890 2046 2498
-2854 2162 2542 2138 2034 -2146 2366 -2890 2854 -2734 2166 -2674 -2278 -2698 -2882 2818 -2198 2042 -2894 -2890 -2162 2402 -2538 -2846 2602
2314 2506 -2850 -2782 2850 2034 -2830 2110 2542 -2442 -1994 -2370 -2886 2402 -2394 2662 2046 -2890 2894 2126 -2074 2478 2586 2434 2434 -2662
2418 2582 2854 2314 2878 2846 -2878 -2142 -2590 -1998 -2318 2178 2746 2546 -1990 -2282 2354 2846 -2838 -2322 2430 2702 2738 2046 2498 -2190
2742 -2210 -2414 2494 2458 -2894 2490 2850 -2210 2370 -2854 2006 2530 2710 -2090 2674 2770 2014 2738 -2750 2266 1990 -2370 -2310 -2034 -2746
2890 2078 2582 2806 2730 -2034 -2694 -2894 -2518 2342 2030 -2570 2070 2298 -2118 2350 -2746 -2478 -2042 2058 -2038 2518 2334 1998 -1994 2202
2570 2018 2406 -2158 -2106 2882 -2214 2462 2870 2670 -2002 2890 -1998 -2890 -1998 2482 -1998 -2618 -2006 2646 -2746 -2806 -2890 2582 2242
2566 2566 2134 -2478 2774 -2174 -2706 -2690 -2706 2582 -2542 -2354 -2038 1998 -2350 2634 -2830 -2854 2798 2362 -2394 -2054 2814 -2606 -1994
-2038 -2638 -2042 2414 2374 2590 2046 -2014 2230 2294 -2630 -2462 -2786 -2474 -2138 2870 2506 2318 -2434 -2122 -2642 2738 2426 -1990 -2882
2846 -2042 -2890 2614 -2630 2662 2450 -2814 2414 2506 2094 2582 -2174 -2618 2334 2546 -2810 -2466 2746 2798 2734 -2822 -2566 -2838 2282 2318
2198 -2806 -2574 2794 2714 2030 -2502 2458 -2242 -2670 2070 2042 2338 -2210 -2642 -2846 2062 2838 -2834 2766 1998 2886 1994 -2166 2530 -2846
2462 2470 2306 2710 2882 -2894 -2850 -2518 2886 -2834 2894 2162 2390 -2838 2110 2674 2682 -2814 2050 2162 2466 -2054 2294 -2586 2250 2018
-2406 -2354 2274 -2370 2478 -2330 2850 2530 2542 -2870 2374 -2766 -2658 -2646 -1994 1990 2850 2562 2058 2738 2002 2282 -2314 2402 1990 -2850
-2038 2186 -2758 -2070 -1994 2498 -2202 2370 2498 2310 -2346 2394 2282 -2186 -2470 -2730 -2550 -2794 2622 -2894 2278 2286 -2854 2350 -2290
-2258 2746 2890 1990 -2418 -2822 2810 2802 -2046 -2706 -2882 2878 -2850 -2562 1994 -2606 -2770 2410 2734 -1994 -2030 -2474 -2030 -2570 2414
2826 -2770 -2806 -2478 2262 2018 -2410 2662 2846 2834 2590 -2038 -2282 -2786 2518 2138 -1990 2682 -2838 2658 -2262 2794 -2238 -2610 2458
2046 2522 -2578 2834 2438 -2082 -2002 -2766 2034 -2466 -2846 -2242 -2374 2030 2106 2274 -2030 -2230 2330 2034 -2714 2138 2042 2562 2806 2290
-2002 2654 2522 -2866 -2426 -2046 -2602 -2682 -2714 -2590 -2410 2030 2854 -2230 -2678 2546 2834 2522 2894 2694 2006 -2778 -2014 -2538 -2694
2314 2030 2678 -2894 2270 -2698 2310 2894 2062 -2894 -2686 -2410 -2846 -2666 2638 2054 2842 -2550 -2262 -2478 -2634 -2254 2894 -2058 -2450
2802 2482 2034 -2038 -2850 -2742 2466 -2538 -2774 -2006 2586 -2818 2594 2006 -2626 -2246 -2006 2358 2870 -2774 2630 -2750 -2166 2294 2574
-2230 -2550 2482 2794 2390 2890 2574 2098 -2502 -2030 2802 -2454 2310 -2230 2782 2894 -2546 -2278 2074 2854 -2690 2038 2266 -1994 -2570 2130
-2846 -2374 2410 -2238 2442