CSP 2008 Competition: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp36/
normalized-fapp36-2000-10.xml
MD5SUMd5e3aabb8926151d3fb7baec2a204317
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 benchmark37.0944
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 NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1087589SAT 37.0944 37.504
Abscon 112v4 AC1087588SAT 37.5643 37.7586
cpHydra k_101087590SAT 120.927 121.89
cpHydra k_401087591SAT 124.545 125.644
SAT4J CSP 2008-06-131087576? 375.224 377.46
Sugar v1.13+picosat1087577? 585.416 596.239
Sugar v1.13+minisat1087578? 614.382 624.451
galac E1087583? (problem) 0.417935 0.501992
galac M1087582? (problem) 0.424934 0.506501
Mistral-prime 1.3131087585? (TO) 1800.02 1805.02
Concrete + CPS4J 2008-05-301087573? (TO) 1800.03 1816.52
MDG-probe 2008-06-271087574? (TO) 1800.03 1805.32
Concrete + CSP4J - Tabu Engine 2008-05-301087571? (TO) 1800.04 1808.52
bpsolver 2008-06-271087579? (TO) 1800.04 1807.02
Concrete + CSP4J - WMC Engine 2008-05-301087572? (TO) 1800.04 1813.42
MDG-noprobe 2008-06-271087575? (TO) 1800.05 1814.12
casper zito1087587? (TO) 1800.07 1800.82
Mistral-option 1.3141087584? (TO) 1800.12 1807.43
casper zao1087586? (TO) 1800.14 1806.96
choco2_dwdeg 2008-06-261087581? (TO) 1800.15 1809.13
choco2_impwdeg 2008-06-261087580? (TO) 1800.17 1806.55
Minion/Tailor 2008-07-041105595Wrong UNSAT 19.576 20.1476

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