Name | csp/fapp/fapp36/ normalized-fapp36-2000-3.xml |
MD5SUM | 1d1f1cebdc92b091f3f5ffe18a2e82b4 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 232 |
Best CPU time to get the best result obtained on this benchmark | 3600.01 |
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) |
Solver Name | TraceID | Answer | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1113053 | MSAT (TO) | 232 | 3600.01 | 3598.42 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1113054 | MSAT (TO) | 458 | 3600.01 | 3602.02 |
Sugar v1.13+minisat | 1113058 | ? | 552.1 | 626.937 | |
Sugar++ v1.13+minisat-inc | 1113057 | ? | 571.128 | 582.308 | |
AbsconMax 112 pc-w | 1113055 | ? | 721.017 | 728.034 | |
AbsconMax 112 pc-d | 1113056 | ? | 729.694 | 736.552 |
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-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