Name | csp/fapp/fapp22/ normalized-fapp22-1750-6.xml |
MD5SUM | 3874290cda754699d3686661cf7c347b |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 309 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1750 |
Number of constraints | 32049 |
Maximum constraint arity | 2 |
Maximum domain size | 802 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 32049 |
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 | 1112771 | MSAT (TO) | 309 | 3600.03 | 3610.82 |
Sugar v1.13+minisat | 1112776 | ? | 777.599 | 782.992 | |
Sugar++ v1.13+minisat-inc | 1112775 | ? | 848.893 | 856.733 | |
AbsconMax 112 pc-w | 1112773 | ? | 1986.04 | 1994.92 | |
AbsconMax 112 pc-d | 1112774 | ? | 1995.8 | 2016.95 | |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112772 | ? (TO) | 3600.01 | 3615.63 |
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: 309-2252 2700 2882 2762 -2248 -2448 2874 -2682 -2566 2294 2836 -2542 -2786 2734 2690 -2882 2882 -2486 2786 -2578 -2574 -2466 2602 -2494 -2534 2190 -2494 2786 -2472 -2342 -2678 -2838 2774 -2184 -2714 2120 2446 -2738 -2526 2574 -2216 -2448 -2836 -2504 2842 2526 -2760 -2574 -2762 -2308 2668 -2798 2342 2880 -2120 2700 2256 2638 2432 2170 -2762 2840 2600 -2634 -2572 -2842 2774 -2446 -2694 2328 2856 -2600 -2774 2312 2190 -2692 -2600 -2336 -2668 2762 -2526 -2912 -2776 -2588 2278 -2494 2486 2826 -2786 -2678 2650 -2588 -2798 2176 -2412 2180 2444 2700 2740 2868 -2692 2718 -2558 2566 -2136 -2534 2520 -2758 2486 -2534 -2786 2440 -2814 2408 2752 -2514 2732 2294 -2730 2566 2440 2892 -2862 -2162 2432 2700 -2566 -2224 -2520 2838 2798 2562 2360 -2162 2374 -2486 2352 2256 -2868 -2838 -2520 -2818 2882 -2880 2220 -2798 -2566 2186 -2294 -2406 -2918 2296 2408 2786 2640 -2798 2526 2162 -2762 -2448 2892 -2762 -2544 2664 -2902 2858 -2884 -2640 2526 2734 -2868 -2446 -2450 -2598 2558 -2284 2136 2338 -2812 -2784 2408 -2122 -2296 2598 -2448 -2740 2826 2640 2408 2740 2652 -2768 2870 -2270 -2342 -2448 -2902 -2408 -2740 2124 2812 -2438 -2446 2706 -2858 2190 2758 2250 2248 -2166 -2448 -2446 -2366 -2188 -2472 2278 -2172 2610 2626 2534 2380 2696 -2342 2452 2526 2494 -2534 -2844 -2226 -2732 -2880 2686 -2526 2700 2830 2798 -2818 2882 2652 2482 -2526 -2880 -2600 2486 2920 -2442 -2252 -2844 -2708 -2396 2164 2798 -2880 2160 -2776 2878 2912 -2526 2282 -2690 -2560 2128 2544 2740 -2718 -2616 -2504 -2162 2598 2872 2910 -2678 2158 -2174 -2640 2640 -2230 2660 -2456 2800 -2300 -2722 -2210 2440 2762 -2494 2120 2540 -2124 2768 -2566 -2722 2520 -2740 -2332 2658 -2526 -2176 2166 -2638 -2758 -2730 -2448 2200 -2504 -2586 -2488 -2638 -2722 -2640 -2440 2650 2574 2566 -2722 -2190 -2254 2444 -2208 -2486 -2910 -2640 2624 2404 2222 -2254 2798 2842 2748 -2700 -2366 -2254 -2700 2150 -2170 2882 -2472 2740 -2448 2678 -2892 -2616 2152 2880 -2722 -2414 -2702 2786 2700 2774 -2230 -2540 2218 -2700 -2566 -2522 -2612 -2402 2472 -2640 -2440 -2566 -2230 -2572 -2652 2852 -2816 2760 -2798 2808 -2474 -2366 2756 -2446 2298 -2786 -2844 -2836 2562 2566 -2378 -2500 -2366 2910 -2588 2920 2296 2740 -2336 -2610 -2916 -2472 -2864 2600 -2898 2910 -2120 -2432 2534 2762 -2652 2772 2382 -2600 2692 -2734 -2298 2652 2444 2638 -2446 -2700 2168 -2120 -2652 2190 -2256 2710 2284 -2800 -2740 -2740 -2692 2842 -2798 -2466 -2758 2758 -2406 -2212 2692 -2296 2156 -2446 -2636 -2256 2446 -2880 -2504 2774 -2446 -2826 -2566 -2662 -2902 2282 -2560 2120 2560 2160 -2470 -2440 -2130 -2566 2526 2526 -2838 2406 2684 -2520 -2622 2828 2860 -2732 2774 2650 -2640 2444 2432 -2802 -2740 2446 2540 -2566 2734 2850 2520 2628 2124 -2128 2208 -2600 -2820 2460 -2464 -2242 2892 -2216 2884 -2362 -2638 2290 -2910 2120 -2870 -2774 -2504 -2662 -2124 -2524 2710 2294 2654 2826 2534 -2366 -2294 -2722 2762 -2692 2520 2510 -2842 -2852 2554 -2526 2440 2594 -2494 -2678 -2366 -2880 -2558 -2446 -2404 -2700 2852 2534 2740 -2880 -2882 -2884 2838 -2712 2406 -2684 2780 -2850 -2560 -2486 2790 -2814 2140 2560 2628 2168 -2566 -2240 2808 2886 -2852 2494 -2526 2494 -2328 2468 -2638 2224 -2640 -2168 2534 2294 2440 -2160 -2352 -2382 -2446 2892 -2484 -2404 2600 2852 2254 2816 2486 2690 -2570 2762 -2798 -2382 2318 -2230 -2200 2466 -2674 -2876 2446 -2520 2448 -2406 -2800 -2120 2332 2918 2776 2890 2734 2196 -2480 -2520 -2892 2742 2566 -2544 -2718 -2862 2426 -2240 -2842 -2566 -2366 2490 2692 -2294 2774 -2428 2598 -2776 -2466 -2472 -2560 2462 2914 -2806 2230 2382 -2486 2796 2862 2668 2574 2534 -2778 2132 2880 2652 -2762 -2598 -2774 2254 2272 -2366 -2520 -2382 2692 2608 -2842 2650 -2526 2342 -2858 2182 -2302 -2254 2534 2816 2480 -2788 2254 -2190 2598 2248 2484 2296 -2652 -2758 -2600 -2550 -2920 -2882 -2654 -2738 2520 2560 -2268 -2700 2920 2710 -2568 -2758 -2408 -2692 2892 -2646 2740 -2190 2566 -2858 2842 -2560 -2554 -2700 2920 -2746 -2838 -2566 -2408 -2478 2800 2586 -2762 2160 2230 2296 2256 -2616 -2486 -2254 2160 2520 -2852 -2526 -2598 -2692 -2776 -2170 -2892 2176 2714 2330 -2852 2652 -2870 2914 2440 -2722 2676 2406 -2740 -2494 -2628 2758 2124 -2214 -2418 2486 -2448 2190 2504 -2524 -2490 2522 -2826 2190 2446 -2154 -2520 -2840 -2740 2892 2910 -2776 -2160 2786 -2608 2910 -2408 -2722 -2248 -2842 -2472 2242 -2910 2254 -2256 -2734 -2652 -2546 -2734 2120 2138 -2794 -2796 2302 -2920 -2290 -2722 2818 -2692 -2872 -2296 -2714 -2560 2842 2816 -2826 2230 2670 -2480 2600 -2854 2818 -2626 -2594 2746 -2802 2344 -2662 -2746 2778 -2486 -2742 -2406 -2294 -2732 2718 -2702 -2882 2166 -2786 2690 -2784 -2372 2600 2250 2740 -2762 2586 -2446 -2690 -2774 -2690 -2908 -2640 -2828 2762 2472 -2774 -2722 2164 2524 -2650 2880 2448 -2382 2262 2838 -2920 -2760 -2652 2700 -2840 -2894 -2566 2440 2386 -2294 -2312 -2790 2818 2234 -2774 -2342 -2734 -2598 -2878 -2862 -2306 -2154 -2194 -2168 2700 -2842 -2486 -2882 -2596 -2320 2560 -2748 2294 2798 2880 -2366 2852 -2142 -2128 -2558 -2162 -2852 2892 2700 -2842 -2692 2290 2714 2852 -2638 -2484 -2918 -2880 -2758 2408 -2870 -2842 -2532 -2234 -2780 -2650 -2656 2598 -2446 2256 -2480 2744 2580 -2292 -2772 2158 -2722 -2820 -2708 -2722 2756 -2838 -2774 2864 2856 2640 -2870 2574 2492 2408 -2690 -2266 2818 -2746 -2408 2226 -2914 2566 -2762 -2406 -2222 2882 -2544 2748 2296 2600 2894 -2464 2472 -2650 -2504 2200 -2432 -2902 -2162 2902 2842 -2164 -2520 2504 -2896 -2276 2120 2842 -2130 -2892 2614 2406 -2294 -2506 2880 2600 2576 2486 -2732 -2366 -2490 -2758 2122 2452 2862 -2862 -2342 2734 2442 2342 -2230 -2198 -2296 -2494 -2706 -2876 -2744 2784 2540 -2650 -2798 2562 2724 -2780 -2650 2566 -2740 2650 -2600 -2892 -2650 -2526 -2172 2798 -2368 -2200 -2474 2828 -2126 -2890 -2612 -2470 -2456 -2662 -2480 -2600 -2828 2638 -2720 -2526 -2290 2656 2424 2842 -2650 -2382 -2722 2122 -2690 -2650 2370 2406 -2368 2638 -2504 2652 -2774 2920 -2566 -2816 -2256 2160 2760 -2626 -2852 2858 2718 -2322 2562 2534 -2710 -2432 -2464 2890 -2700 2784 -2256 2408 2640 2660 -2556 -2840 -2902 -2230 -2560 2832 2594 -2788 -2368 -2700 2152 -2368 -2640 -2382 2690 -2902 -2704 -2506 2526 -2920 2164 -2844 -2526 -2178 -2690 -2882 2726 -2566 -2342 -2532 -2734 -2652 -2834 -2440 2122 -2122 2920 -2650 -2918 2896 -2290 -2504 -2746 -2678 -2382 -2160 2274 2282 -2294 2190 2634 -2406 2322 -2652 2122 -2406 -2592 -2410 2774 -2640 -2256 -2190 2882 -2480 2754 -2892 -2442 -2920 -2526 -2856 -2366 -2870 -2734 -2560 2242 2620 -2840 2494 2534 2296 2446 -2480 2604 2722 2566 2798 -2842 2328 2124 2910 -2230 -2918 2530 -2562 -2690 -2842 -2172 2566 2230 2342 2444 2486 2640 2782 -2600 -2786 -2882 2816 -2252 2910 2446 -2744 -2840 -2480 -2450 -2408 -2734 -2824 -2786 2816 -2670 2870 -2806 -2282 -2904 -2564 2874 -2544 2190 -2612 2882 2840 2406 -2844 -2724 2882 2840 -2372 -2882 -2494 -2162 2268 -2692 2256 -2746 2526 -2648 2878 2162 -2694 -2600 -2342 2758 -2526 2534 -2120 2888 -2772 -2870 2638 2446 -2338 2382 2700 -2692 -2780 -2762 2784 -2254 2542 -2448 -2882 -2902 2862 -2722 -2256 -2526 2918 2168 2566 2722 -2692 -2342 -2526 -2758 -2904 2920 2486 2758 2190 2192 -2428 -2908 -2492 -2342 -2230 -2228 2254 2172 -2744 -2544 2874 2574 -2448 2674 -2526 -2560 -2638 2122 2146 2496 -2132 -2424 -2522 -2882 2504 2560 2786 -2842 2382 -2640 2758 -2364 -2912 -2472 2920 -2638 2878 2280 2566 -2366 -2282 2674 -2666 -2920 -2778 2448 -2802 -2692 2740 2910 2160 2798 -2560 2446 2842 2294 -2746 -2566 2526 2774 -2120 -2448 -2840 2408 2598 -2666 2326 -2734 2690 -2182 2190 -2838 2762 2468 2640 2222 -2410 2162 -2760 2792 2892 2450 2122 -2360 2124 -2520 2254 2566 -2582 -2786 2446 -2324 2342 -2776 -2230 -2420 2188 -2690 -2448 2318 2142 -2876 -2282 -2120 -2250 2708 -2142 -2230 2182 2690 -2208 2230 2774 -2254 2694 -2754 -2504 -2700 -2492 2682 -2762 -2566 -2798 2798 -2652 -2526 -2650 -2550 -2526 2290 -2230 2838 -2162 2892 -2190 -2762 2190 2256 2122 -2446 2892 -2122 -2852 -2582 2382 -2446 2722 -2120 -2590 -2544 -2750 2132 2486 2798 2690 2486 2722 -2126 2826 2546 -2526 -2734 2296 2366 -2146 -2480 -2892 -2762 -2288 2700 -2834 2174 2870 -2842 2566 -2752 -2290 -2196 2816 -2900 -2852 -2692 -2526 -2786 -2890 2630 -2446 2190 -2484 -2902 -2526 2598 -2678 -2722 -2566 -2826 2884 -2382 -2566 2296 2882 -2590 -2342 -2178 2320 -2598 -2786 2526 -2674 -2176 2564 -2468 -2746 2776 -2544 2534 -2146 -2526 -2468 -2738 -2652 -2370 2190 -2786 2120 2920 -2842 -2230 -2224 2846 -2332 2448 -2420 -2382 2600 -2382 2494 -2334 2408 -2160 -2174 -2652 -2352 2702 -2678 -2408 2330 -2242 -2544 -2156 -2734 -2862 2448 2254 -2382 -2566 -2262 2480 -2446 -2652 -2486 2692 -2916 2546 -2282 2342 -2598 -2408 -2864 2432 2740 -2520 -2758 2560 -2598 -2918 -2228 2816 -2776 -2566 -2920 2214 -2296 -2486 -2174 -2600 -2788 2758 -2882 -2652 -2530 2446 2740 -2128 -2518 2740 -2440 2406 -2566 2328 2826 -2868 2622 -2330 2408 -2798 -2628 -2480 -2652 -2700 -2798 2798 -2574 -2652 2566 -2640 2168 -2762 -2722 -2618 -2486 2862 -2722 2204 -2798 -2460 2448 2334 -2420 2406 -2190 2800 2534 -2230 2750 2448 2722 2586 -2168 2652 2870 -2796 2828 -2436 -2380 -2600 -2534 2526 -2176 -2208 2702 -2918 2798 2650 -2722 -2714 2700 -2668 -2870 -2690 2480 -2190 -2706 2766 -2876 -2640 2734 -2522 -2762 2870 -2526 -2430 -2692 -2798 -2544 2534 2566 -2718 2242 -2302 -2902 2752 2480 2162 -2868 -2486 -2566 -2406 2294 -2526 2534 -2828 2878 -2878 -2582 2136 2342 -2408 2652 2718 -2826 2580 -2480 -2740 2432 2820 2120 -2870 -2534 2836 2294 -2282 2486 -2230 -2410 2526 -2714 -2716 -2526 2598 -2852 2190 -2842 2666 -2342 -2340 2638 -2648 2718 -2504 2432 -2566 -2588 -2844 2854 -2448 2134 -2842 -2146 -2692 -2838 -2562 -2598 2288 -2210 2446 -2378 -2440 -2692 -2408 -2190 -2186 2516 -2408 2274 -2448 -2882 2504 2902 -2722 -2882 -2910 2324 -2842 2164 -2734 -2294 2758 -2852 2566 -2564 2580 2230 -2472 -2526 -2870 2128 2912 -2520 -2544 -2514 -2798 2878 -2758 -2628 -2900 2692 2134 2664 -2600 2254 2486 -2432 -2488 -2744 2824 2242 -2654 2128 -2294 -2690