Name | csp/fapp/fapp22/ normalized-fapp22-1750-0.xml |
MD5SUM | 9a4e6098c7014d2e43e37229a7ed8846 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 172 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
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 - Tabu Engine 2008-05-30 | 1112766 | MSAT (TO) | 172 | 3600.06 | 3618.12 |
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112765 | MSAT (TO) | 330 | 3600.01 | 3605.84 |
Sugar v1.13+minisat | 1112770 | ? | 706.325 | 754.118 | |
Sugar++ v1.13+minisat-inc | 1112769 | ? | 713.638 | 721.855 | |
AbsconMax 112 pc-w | 1112767 | ? | 1818.59 | 1822.77 | |
AbsconMax 112 pc-d | 1112768 | ? | 1825.25 | 1833.87 |
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: 1722340 -2700 -2882 -2762 -2262 2448 2868 2682 2566 2294 2836 -2542 2786 2734 -2690 2882 -2882 -2486 2786 2578 -2574 -2474 -2602 2494 -2534 -2190 2494 2786 2472 -2342 2678 -2838 -2774 -2152 2714 -2120 -2446 -2746 -2526 2574 -2822 -2448 2206 -2504 -2842 2526 2758 2574 -2762 2252 2668 2798 -2694 -2880 -2126 -2700 -2256 -2638 -2432 -2868 -2762 -2840 -2440 2634 2584 -2842 -2774 2446 2348 -2330 2836 2600 -2774 -2724 2190 2692 2440 -2528 -2374 2762 -2526 2920 -2776 -2588 -2280 2494 -2556 2826 2786 -2678 2650 -2602 2798 2188 -2564 2188 2444 -2700 2740 2850 2692 2718 2558 2566 -2134 2534 2520 2758 -2486 -2534 2786 2440 -2814 -2408 2760 -2514 -2732 -2294 2728 2566 2440 -2892 -2870 2216 -2432 -2700 -2566 -2226 -2534 -2838 2798 -2480 2484 -2874 -2374 -2486 -2364 2256 -2866 2838 -2520 -2818 -2882 -2850 2230 -2798 -2566 -2850 -2294 2406 -2880 -2296 2408 -2786 2640 2798 2526 -2160 -2762 -2464 -2892 -2762 2544 -2664 2902 2864 -2158 2640 2526 2734 -2868 -2446 2450 2598 -2558 -2610 2228 2698 2808 -2784 2408 2916 -2296 2444 -2448 -2740 2826 2640 -2408 -2740 -2652 -2768 -2870 -2274 -2288 -2448 2902 -2408 -2740 2152 2812 2216 -2446 -2336 -2858 2190 2766 -2250 2250 2164 2448 2446 2366 2202 2472 -2278 -2132 -2610 2626 2534 -2380 -2694 2342 -2452 -2526 2494 -2534 2844 2234 2732 2880 -2684 -2526 -2700 -2816 -2798 2816 -2882 -2664 -2482 2526 2880 2600 -2486 -2778 2444 2270 2844 2708 2396 -2874 -2798 2162 -2162 -2776 -2878 2900 -2526 -2282 -2690 2560 -2144 2544 -2740 2718 2628 2504 -2180 -2598 2808 2910 -2678 2172 2164 2640 2640 -2230 -2382 -2460 -2798 -2300 2722 2828 2440 2762 2494 2120 2502 -2914 -2768 -2566 2722 -2520 2740 -2332 2658 -2526 2862 -2176 2638 2758 2730 2448 2838 2538 2586 -2488 -2638 2722 2640 2440 -2650 -2574 2566 -2722 2190 2254 -2444 -2210 2486 2910 2640 -2624 -2404 2240 -2254 2806 -2828 2748 2700 2366 2254 -2700 -2218 -2184 2882 -2472 -2740 2448 2678 -2892 -2616 2166 -2872 -2722 -2426 -2702 2786 2700 2774 2230 2554 -2218 -2700 -2566 -2522 -2612 -2402 2472 -2640 2602 -2566 -2230 2572 2652 -2852 2226 -2758 -2798 -2808 -2474 2366 2764 -2446 -2738 2786 -2850 2798 -2562 -2566 -2378 -2524 2366 2910 2590 -2122 -2296 -2740 -2334 -2608 -2792 -2472 2178 2600 -2916 2910 2122 -2432 -2534 -2762 2652 -2270 2382 2600 2692 2734 -2738 2652 2444 2638 2446 -2698 2182 2128 -2652 -2190 -2256 -2722 2284 -2798 -2740 2738 2692 2842 2798 -2576 2746 -2758 2406 -2230 -2692 -2296 2126 -2446 -2636 2256 -2446 2880 2504 2774 -2446 -2826 -2566 -2662 2902 2282 -2560 -2122 -2560 -2160 2470 -2440 -2174 2566 -2526 2526 2834 -2630 -2358 2520 -2622 2828 -2832 2740 -2774 -2650 2640 -2444 -2432 -2798 -2740 -2446 2502 2566 -2734 2192 2520 2628 -2856 2126 -2830 2600 -2222 2748 2578 2242 -2892 -2822 2870 -2362 2638 2290 2912 2916 2868 -2774 2504 -2662 2130 -2526 -2710 -2294 -2388 -2826 2534 -2366 -2294 2722 -2762 -2704 2520 -2510 -2842 2852 2554 2526 2440 -2594 2494 -2678 2370 2880 2484 -2446 2406 2700 2852 2534 -2740 -2880 -2882 2884 -2838 -2720 -2406 2358 -2262 -2192 -2560 2486 -2790 2812 -2148 -2560 -2414 2136 -2566 2798 -2786 2908 2852 -2494 -2526 -2494 -2708 2490 2638 2816 2640 2870 2534 -2294 -2440 -2162 -2684 2382 2446 2880 -2484 2406 2600 -2852 -2254 2816 2486 2690 -2570 -2762 -2798 -2382 -2316 2230 -2212 2572 -2672 -2166 2446 2520 -2448 -2406 -2800 -2122 -2344 -2120 2774 -2152 -2734 -2842 -2480 2520 -2892 2742 2568 -2544 -2718 -2862 2612 2798 -2842 -2566 2670 -2490 -2692 -2294 -2774 2612 2598 -2776 2576 2472 2560 2462 -2908 -2808 -2230 -2382 -2486 2796 -2862 2664 -2574 -2534 2778 2134 -2880 2652 -2762 -2598 -2774 -2254 -2290 2366 -2520 2382 -2692 2608 2842 -2650 2526 -2342 -2858 2196 2734 2254 -2534 -2226 -2480 2788 2254 2190 2598 2260 -2484 -2296 2652 -2758 2600 -2550 2908 -2882 2388 2736 -2520 -2560 -2768 -2342 -2122 -2718 -2588 2758 -2408 -2692 2892 2658 2740 -2190 2566 2858 2842 -2560 2554 -2700 2788 2746 -2838 2566 -2408 -2176 2798 -2586 -2762 -2170 2230 2296 -2256 -2616 -2486 2254 2162 -2520 2852 -2526 2598 2692 2776 -2868 2892 -2308 -2714 -2706 -2852 2652 -2870 2914 2440 -2722 -2676 2406 -2740 2494 -2628 -2758 2134 2228 -2416 -2486 2448 -2190 -2504 2524 2490 2520 2826 -2190 -2446 2882 -2520 -2840 2740 -2892 -2910 -2776 -2376 2786 2608 -2910 2408 -2722 -2250 2842 2472 2242 2910 -2254 2256 2734 2652 -2546 -2734 2120 2250 2794 2758 2302 -2122 -2746 2722 2824 -2692 2880 2296 2714 2560 -2842 2816 2826 -2230 2670 -2480 -2600 2188 -2818 2638 2594 2746 -2802 -2346 2662 -2598 -2776 -2486 -2742 -2406 -2294 -2310 2718 2702 -2160 -2180 2786 -2768 -2812 2372 2600 -2250 2740 -2762 2586 2446 2690 -2774 -2690 -2894 -2640 2828 -2762 -2484 -2774 2722 2166 -2526 -2648 -2162 -2452 2382 -2262 2838 2888 -2758 -2652 -2342 -2840 -2148 -2566 -2602 -2386 2294 2724 2776 2818 2180 -2774 2342 2734 -2442 -2164 2862 2324 -2132 -2172 -2260 2700 2842 -2486 2882 -2596 -2328 2560 -2746 -2294 -2798 -2880 -2366 -2852 2216 2142 2482 -2180 -2852 -2892 -2700 -2842 2692 -2290 -2328 -2852 2638 2484 -2124 -2880 -2758 -2408 2870 -2842 -2532 2236 -2780 2650 2656 2598 -2446 2780 -2480 2744 -2462 2300 -2772 -2174 -2722 2820 2704 2722 2772 -2838 2774 -2178 -2856 2400 2870 2574 -2492 2408 -2690 2768 2818 2746 -2408 -2808 2896 -2566 2762 2406 -2132 -2882 2544 -2748 2296 2600 -2148 2578 2472 -2650 2504 -2838 -2432 2902 -2194 2902 2842 2170 -2520 2504 -2862 2276 2130 2842 -2144 -2862 -2614 -2406 -2294 -2536 -2880 2600 -2576 2486 -2310 2366 2490 -2758 2136 2452 -2862 -2862 -2342 -2734 2596 2342 2230 -2210 -2296 -2494 2336 2752 -2744 2784 2540 2650 -2798 -2564 2318 2780 -2650 -2566 2740 2650 -2600 2892 2650 -2526 2170 -2798 -2670 -2214 -2472 2828 2136 2878 2626 -2472 2456 -2662 2480 2600 2684 2638 -2720 -2526 -2290 2666 -2614 2842 -2650 -2382 -2722 -2914 2690 2650 2370 -2406 -2370 -2638 -2504 2652 -2774 -2160 2566 2816 2256 -2166 2760 -2626 -2852 -2858 -2718 -2126 2480 -2534 -2710 2432 -2574 -2152 2700 -2784 2256 -2408 2640 2382 -2556 2840 -2902 2230 -2560 2830 -2594 -2786 2368 2700 -2172 -2368 2640 -2382 2690 2902 2704 -2536 2526 2920 2174 -2198 2526 -2210 -2690 -2882 2724 2566 -2342 2532 -2724 -2652 -2406 -2440 -2154 -2124 -2898 2650 2812 -2912 -2306 -2504 -2746 2678 2382 -2160 2140 2282 -2294 2190 2634 -2406 -2322 -2652 -2120 2406 -2604 -2410 2772 2640 -2256 -2190 -2882 -2480 -2288 -2892 2442 -2920 -2526 -2872 2366 2870 -2734 2560 2242 -2618 2840 -2494 2534 -2296 2446 -2480 -2604 2722 -2566 -2798 2842 2708 -2126 -2910 2230 -2866 -2530 2562 2698 -2738 -2162 2566 2230 2342 -2446 2486 2640 2782 -2600 2786 -2882 2816 2254 -2910 -2446 -2744 -2840 -2480 -2450 -2408 -2734 -2822 -2786 -2796 -2670 -2870 -2818 2166 2138 2566 2858 -2544 -2190 -2612 2882 -2840 2406 2198 2318 -2882 -2840 -2378 -2882 -2494 -2176 2212 -2692 -2256 -2746 -2526 -2648 -2920 -2176 -2348 -2600 -2342 -2758 2526 -2534 -2132 -2798 2270 -2914 -2638 2446 2698 2382 2700 -2692 -2262 2762 2784 2254 2544 -2448 -2882 2902 2862 2722 2780 -2526 -2124 2184 -2566 -2722 2692 -2342 2526 -2838 -2138 -2920 -2486 -2758 2190 2206 -2428 2890 -2496 -2342 -2230 -2230 -2254 2174 -2744 -2544 2852 2574 -2448 -2674 -2526 -2560 -2638 -2120 -2162 -2496 2172 2614 -2522 2882 -2504 -2560 -2786 2842 -2382 2640 2758 2366 -2848 -2472 2120 -2638 2164 -2166 2566 -2366 -2282 2674 2666 -2120 2776 2448 -2698 -2692 2740 -2910 2876 2798 2560 -2446 -2842 2294 -2746 -2566 -2526 2774 2140 2448 -2840 2408 2598 -2664 2330 2734 2690 2856 -2190 -2838 -2762 -2572 2400 -2816 -2424 -2160 -2758 -2786 2892 -2450 -2140 -2368 -2134 2520 -2254 2566 -2582 -2786 2446 -2320 -2342 -2266 -2230 -2420 -2190 -2690 2448 -2330 -2158 -2876 -2282 -2120 2250 -2708 2190 2230 -2176 2690 2210 -2230 2774 2254 -2694 -2288 -2504 2700 -2492 2682 -2762 -2566 -2798 2798 2652 -2526 -2650 -2550 -2526 -2746 2230 2838 -2164 2892 2190 2762 2190 2256 -2176 2446 2892 -2140 -2852 2582 2382 -2446 -2722 -2120 -2590 -2544 2758 2122 2486 2798 -2690 2486 2722 -2124 2826 -2546 -2526 -2734 -2740 -2366 -2890 -2480 -2892 -2762 -2748 -2700 -2834 2158 2870 -2842 2566 -2748 2290 2842 -2816 -2916 -2852 -2692 -2526 2786 -2874 -2642 2446 -2190 -2484 -2902 2526 2598 2678 -2722 -2566 -2826 2158 2382 -2566 2740 2882 -2590 2342 -2178 2318 -2598 2786 2526 -2674 2174 -2564 2574 -2746 2776 -2544 -2534 2890 -2526 2468 2738 -2652 -2370 -2190 2786 -2122 -2890 2842 -2230 2230 -2868 -2338 2448 2420 2382 -2600 2382 -2494 -2334 2408 2162 -2188 -2652 -2684 2702 -2678 2630 2330 2242 -2544 2882 -2734 -2862 -2448 2254 -2382 2566 -2172 2562 -2446 -2652 -2486 -2692 -2916 -2548 2282 -2342 2598 -2408 2864 2432 -2740 -2520 2758 -2560 -2598 2918 2808 -2816 -2266 2566 -2912 -2224 -2296 -2556 2184 -2600 -2788 -2758 -2882 -2652 2544 -2596 -2740 -2176 -2518 -2740 2440 -2406 -2566 2328 -2826 -2868 -2622 2706 2408 2798 2628 -2480 2652 2700 -2798 -2798 2574 2652 -2566 -2640 -2166 2762 -2722 2618 -2486 -2862 -2722 2230 2798 -2460 -2448 -2334 2422 -2406 -2190 2798 2534 -2230 2750 -2448 2722 -2586 -2870 -2652 -2870 2812 -2822 -2436 -2382 2600 2534 -2526 2862 -2830 -2702 2914 -2798 -2650 2722 -2712 -2700 2374 2862 2690 -2562 2190 2704 2858 2166 2640 -2734 -2520 -2762 -2870 2526 2432 -2692 -2798 -2546 -2534 -2566 -2718 -2242 -2734 2902 2762 2480 -2876 -2868 2486 2566 2406 2294 2526 2534 2828 2880 2874 2594 2268 -2342 -2408 -2652 -2718 2826 2462 -2480 2740 -2432 -2222 -2336 2870 -2534 -2206 2294 -2282 -2486 -2230 2410 -2526 2328 2724 -2526 2598 -2852 -2190 2842 -2376 -2694 2340 2638 2648 -2718 2538 -2432 -2566 2588 2910 2188 -2448 2198 -2842 -2160 2692 -2838 -2574 2598 -2748 2828 -2446 -2384 -2440 -2692 2408 -2190 -2850 2516 2408 -2276 -2448 2882 2504 2910 2722 2882 2910 -2324 -2842 2174 -2734 2294 2758 2852 -2566 -2566 2580 2230 -2472 2526 2870 2294 2920 -2520 -2544 2514 -2798 2852 2758 -2414 2912 2692 -2124 2376 2600 2254 -2486 -2432 2502 2744 -2824 -2242 -2654 2300 2294 2690