Name | csp/fapp/fapp36/ normalized-fapp36-2000-10.xml |
MD5SUM | d5e3aabb8926151d3fb7baec2a204317 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 37.0944 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 18600 |
Maximum constraint arity | 2 |
Maximum domain size | 454 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 18600 |
Global constraints used (with number of constraints) |
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