Name | csp/fapp/fapp37/ normalized-fapp37-2250-5.xml |
MD5SUM | 8600ec259bd9e7970622d289e935c04f |
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 | 55.6005 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2250 |
Number of constraints | 42699 |
Maximum constraint arity | 2 |
Maximum domain size | 998 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 42699 |
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:3532 3136 2964 -2500 2740 4028 2256 -3444 -2276 -3932 2860 -3392 -3860 3496 3028 -3176 3160 -3480 4028 2660 2196 -2972 3008 3156 -3940 -2296 -4020 -2552 -3692 -3164 -2340 -2852 -2380 -2160 -3440 3240 -4020 2140 3252 -3652 -3136 -2920 -3652 3964 -3524 2548 -2576 3852 2716 -3652 -3980 -3416 4020 2980 -2632 3768 3888 2164 -2708 -4028 2956 -2488 -2192 -2224 -3972 -3980 -3432 3404 -2552 3264 2996 -4028 -2512 -2776 -2156 3440 -2456 2304 -2324 -2524 -2552 -3008 -2640 -2564 2492 3984 -3972 -3012 -2540 2140 -2960 3300 -2148 -2596 -4020 -4068 -3404 -2236 -2512 -3692 -2204 -2344 -3972 3876 -2608 -3356 -3088 3952 -4024 -2184 3272 -3652 -3080 -2168 -3392 -2512 -4092 -2680 -3972 2896 2872 -2484 2564 2624 2444 2852 -2892 -3224 -4016 -2612 -2680 -3444 -3560 3564 -3448 -4044 -2552 -3420 -4044 -3940 -2660 -3308 -3980 -3744 -3980 -2552 -3984 -2720 -3692 2892 -2180 -3940 2992 3064 -3940 -3396 2332 3460 3676 -2380 3632 -3972 -3404 2456 2272 -2880 -3388 -3652 3276 -3556 2508 -2536 3336 3076 -4044 3332 2896 -2640 2140 -3352 2900 -2240 2172 2304 -2832 3828 2728 -2528 -3220 3532 3124 -3328 -4044 -2800 -3980 -3980 -3940 -4004 -3900 3196 -3880 -3392 -2236 -2512 2612 2980 -3972 -3356 -3940 3052 3284 -4020 -2616 -3356 -3328 3600 3492 3260 -4004 2356 -2496 -3900 -3396 -4012 -4024 3348 3988 -3068 3092 -2832 -4004 -4092 3104 -2656 -2880 -2500 -3356 -2140 -4132 -3544 -3688 -2356 2552 3940 2876 2572 -2384 3140 -2384 -3368 -3896 2872 -2212 -3116 -2880 3672 4092 -4028 2772 -2624 -2380 2792 -2352 -3368 -4044 -3396 3932 -3972 -3972 -3328 2140 -2756 2736 -4044 -3404 -2496 -2528 -3348 -2244 2884 -2180 -3432 3964 -4076 2884 -3972 2916 -4004 -3524 -3396 -3396 2952 -3716 -2736 -3876 2500 2636 -2356 -4068 -4044 3748 -3652 2140 -3588 -2660 -3484 -3652 -3708 -3652 -2524 -4044 -3940 -3668 -4004 -3972 2200 3600 -3368 -2256 3108 -2372 -2264 -3356 -2628 2588 2712 2140 3800 -4028 -2412 -2288 -2512 2748 3824 3052 2640 -3716 3460 3364 -3980 -4132 -4028 3172 2596 2356 -3320 -3756 -2488 -2496 -3524 -2496 -4116 -2480 2388 -2388 -4076 -3632 2140 -4076 -2760 -2484 -3984 -2528 2180 -2512 -3308 -4012 -3940 -2144 -3640 -3536 -2212 -2140 2912 3020 2176 -2792 -3048 4004 2144 -2372 -2612 -4016 -2540 2756 -2664 -2316 -3396 3340 3644 2488 -3932 -2564 -3336 3024 -2180 -3416 -2140 -4028 -2196 -4028 -3704 -3328 3092 -3980 -2612 2940 2140 2216 -2620 -4020 -3928 -3328 2432 -2652 -2780 -3432 -2536 -2900 3068 2888 -3828 -2524 -4044 -3648 -3368 -2180 -3280 -4012 -4132 -3692 -2488 -2388 -4012 -3396 4060 -3436 2140 -3980 3528 2140 3780 -3940 3952 -3972 2432 -3868 2336 3228 -4028 2568 -2852 2144 -3584 -2552 -2604 -3308 -2348 -4012 -3980 -2192 3692 3484 3380 -2596 -4068 -2612 2304 2308 -2192 -3988 -2552 -4004 2544 3532 -4044 -2180 4072 2396 -2544 -4012 -4044 -2244 -3980 3324 3136 3276 -2508 -3120 -2356 3948 -2824 -3652 2840 -3400 -2256 -3896 3308 -2792 3104 3544 3968 -3692 -3972 -2456 3432 -3820 -3460 3268 2636 3868 -4024 2664 -3940 -3272 2164 -2480 -3536 -2668 2624 3020 4024 -3944 -2704 -4116 -2488 -4004 -2780 4132 2500 -3076 2232 -2292 -3608 -3368 -3984 2808 -3084 -2576 -2500 -2912 -3500 -4012 -2784 -3612 2692 -2512 -3940 -4028 3648 -3524 3892 2332 -4004 -4012 2964 -3828 3640 -2396 -3980 -3368 3828 2712 -3972 3716 -2520 -3496 -2400 -2552 -4068 2448 2880 -2616 2140 -2324 -3352 -2308 3520 -3688 3140 -3972 3988 -3984 -2216 -2716 -3120 -4020 -3692 3148 3308 3360 2640 4132 -3940 3920 -3972 3636 3276 -3732 -2396 -2432 -2384 -3932 -4012 -3444 -3652 -4004 -2180 -3356 -3712 -4024 -2180 3940 -2684 2356 -3652 2160 -2872 -3652 -4068 3960 -4068 2784 2792 -3272 -2456 -3972 -3076 -3412 3344 3176 2172 -3572 3268 -2460 -2528 -2456 -3468 -3524 2784 -2504 2752 -4004 -2508 3836 -3640 -3980 -3084 3260 -2920 -4004 3500 -4092 3700 3420 -2372 -2456 3860 -2296 -2396 -4004 2680 3332 -2428 -2396 -3972 2620 -2152 -3348 -4004 -3868 -4044 -2672 -3692 -3564 2636 3948 -2456 3180 -3212 2248 -3256 -3152 2936 2448 2140 -4012 3584 2936 3152 -4020 2468 -3352 -3676 3848 -3324 -3388 -2552 -3568 -3356 -3980 4120 3660 -2520 -4112 -2520 2860 2636 -4028 -2732 2448 -4076 3108 4088 2836 -4004 -2340 -3576 2216 2688 -2652 -4012 3300 -3152 -3940 -4044 -3328 -3396 2276 -2508 3312 4072 -4028 -3980 -3980 2576 2584 -2652 -2968 -2552 -2896 2536 2988 2140 -3984 -3428 -2496 3016 -4012 -2348 -3384 -2496 -2300 -3968 -2820 -3216 2736 -4012 -4020 -3560 -4068 2836 2708 3448 -4044 -2512 -4004 3236 -3776 -4028 -4132 -3984 2240 3448 -2656 -2656 3296 -3988 3972 2892 -3912 2216 3116 2140 3648 3404 -3392 -2512 -4132 -2460 3932 -3372 -3652 -2752 3212 -4068 -2652 2512 -3652 -4020 -3388 2660 -3304 2616 -4028 2928 2248 -4028 4132 3396 -4116 3168 2532 -3460 2236 -2660 2140 -2184 -3712 3644 3592 -3940 -2348 -2232 -2348 2976 -3396 -4068 -2396 -3940 -2656 -2696 -2552 2564 2180 -2584 -2788 2716 -4044 2396 3764 3108 -3944 -3308 3736 2360 3912 2884 3564 -3984 -3412 -2548 -2648 -3060 -3312 2164 -3652 3212 -3364 -2284 3760 -2512 -2236 3532 -3568 -4064 2664 3104 2600 -2564 -2920 -2748 3440 3948 -2264 2208 -4004 -2552 -2840 -2196 -3932 -3636 -3308 -2180 -3428 -3268 -4076 -4004 -2456 3108 -3524 3000 -4012 3012 -4012 -4068 2648 -3356 -2208 -2460 3692 -3236 -4020 -3932 -3572 -3848 -2708 3528 3828 -2620 -3312 -2384 3872 3008 -2184 -2620 2488 -4092 3544 -2620 -2496 -4020 -3468 -2380 3912 -2340 3504 2580 -2664 -2356 -2168 -4044 -3932 -4076 -4068 -3688 3228 -4044 -2512 -2620 -3268 -3980 3648 3868 3664 -3684 -2340 3892 -3676 -4024 2792 -3356 -2728 2180 2652 -4132 3284 3276 2188 -2388 2984 -3348 -2732 -3836 -3440 2140 -3104 -3692 -3348 -2664 2936 -2180 3596 2180 -4056 3680 -2496 3112 -4024 3632 3064 -3980 -2224 -3584 -4076 -3348 -3268 -3972 -4028 3360 -3932 2180 3572 -4068 -3972 -3588 -2612 -3940 -3176 -3716 3844 3512 -2656 -2184 3436 -3536 -2660 -3392 3152 -3364 -2780 -2340 2236 -3980 -4020 2392 -2140 -4028 -4028 3740 -2820 3124 -2496 -2380 -2664 3252 -3400 -4020 -3368 -3984 -3624 3648 3392 -2380 -3940 -2512 3112 2420 4072 -4128 -2344 -3588 -3692 -3348 3568 -4020 -2456 -3328 3268 -3560 -2552 2976 3356 3568 -2620 -3352 -2588 3776 3872 -3692 -3972 2656 -3648 -4076 -3936 -3544 -2920 -2624 -2576 3476 3616 -3428 2580 -2936 -3332 -3796 -4044 -3456 -3716 -3676 2512 -2604 -4068 -2232 3412 2140 -3624 3684 2616 -4116 2392 -3392 -3692 -4012 -2520 2460 -3688 -3544 2200 2932 -2656 -3244 -3064 -4004 -3944 -2380 -3524 -2208 -3348 2776 3152 -3980 -3308 3176 -3476 2412 -3648 -3540 -3648 4132 3732 3696 -3972 3756 -3352 -2340 -2512 -4012 2340 -3612 -2828 -4076 3008 -2824 -3980 -3972 2784 -2960 -3932 3616 -3312 3044 3032 -3392 -3716 -3000 -3688 3204 2140 -2620 -2624 3676 -3972 -2604 3692 -4056 2512 3364 -2788 3608 -2496 -3932 2180 -2388 3388 -3744 2768 2276 -4028 -4044 -3972 3588 -2612 -2924 -2212 -3428 -3980 2320 3484 -2456 -4092 -2920 -2180 -3996 -3596 2828 -2472 2160 -4100 2500 2892 -3396 -3308 -2144 -3308 -3980 -3884 2184 -3432 -3060 3292 3064 -3672 3344 -2608 -3644 2624 -3984 -3192 -2440 3120 3740 2180 -3876 3584 -3944 3888 -3160 2888 -3564 -3688 2824 -3980 -3416 -3780 -3576 -2232 -3392 2744 2140 3900 -3124 -2180 -2536 -2832 -2656 -4076 -2940 -2180 -3356 2848 -2612 -2616 -3944 -3192 -2700 2140 -4020 3736 -3676 3420 -2212 4068 -2296 3716 -3348 3392 -2216 -2460 3840 -2520 -4012 -2468 3128 3484 -3980 2504 -2304 -3436 3928 2916 3180 3544 2712 -3900 -4012 -3716 2388 -3972 -4068 -2528 -3524 3980 -2792 2140 -3932 -2760 -2672 3700 3424 -3552 -2456 -4040 -3344 -2616 3804 -2276 2332 -4132 -2396 -4044 -3436 2188 -2540 -4092 -2180 -2780 -3352 -3972 -3596 -3972 3308 -3932 -3716 -3432 3020 2924 3900 -2180 2596 -3940 2612 -3004 3400 -3836 -3972 2544 3456 4092 2668 -3540 -3348 -3652 -2456 -3328 -2360 -3368 -3692 2256 -3104 3200 -3240 4008 -2344 2140 2260 -3692 -3392 -3940 -3348 -3308 -3316 2576 2752 -3692 3464 3552 -3564 2956 2836 3940 2404 2744 -2932 -2168 -2696 -3932 2528 -2244 3408 -2784 -3932 2460 -3564 -3396 -4004 -2496 -3980 -2280 2840 4088 -4044 -3596 -2284 2208 2680 -3692 -3328 -2616 -3308 -3652 -3308 2392 2648 -2388 -3972 -3724 -2184 -4116 -2488 -2660 -2832 -2528 3200 -3480 -4132 -3972 -2872 3368 -3428 -4116 -2612 -2660 3012 -3328 3416 2264 -3908 -3784 3512 -3348 -4012 -4116 -2524 -2196 2140 3528 -3740 -2340 3260 4080 -4020 -3388 2864 -3352 2288 -3416 -3308 2372 -2344 -3776 2888 2280 -2836 3372 -3784 3000 -2344 2936 3988 -3324 3652 2924 2416 -4004 -4000 3800 -4132 3036 -3972 -3736 -3940 -2472 -3972 -4012 -3984 -2932 3380 -2140 -4024 2784 -3896 3572 -3348 2796 -3536 3444 -3876 -3568 4116 -2320 -3396 -3432 3820 4024 -3860 -3160 2972 -2184 3880 -2540 -2352 -3396 -3264 -2496 3672 -2344 3432 -2616 -3972 -3040 -3972 3648 3948 -3312 -3972 3648 -3980 -2340 3496 3148 -3040 -2180 -2792 -3972 -2660 2396 3980 4092 2612 -3308 -3692 2880 2832 -2284 -3312 2140 -3972 -2460 2712 -3972 -2376 -4004 3704 -3396 -3436 2920 -3392 -2528 -3436 -2496 2620 3400 -3404 -2708 3668 -3984 3500 3388 -4004 -3308 -2604 2580 -3788 -4012 -2468 -3388 2280 -2912 -4028 3692 2768 2516 3652 -2388 -4068 -3356 3632 -3692 3504 -3548 -3980 -4068 3488 4004 2644 -2456 2388 -3452 -3980 2264 -4016 3200 -3368 -4076 2420 3036 3632 3600 -2296 -3972 -3972 -2372 -4092 2892 -4028 2744 -3116 -3128 -4132 -2608 3244 -4044 2796 -3816 -3400 2752 3216 -4092 -3308 -4044 3656 -3808 -3216 2428 3256 2760 2488 2556 4024 -2276 -4012 -2512 3684 -3524 -3312 -2744 -3484 -3868 -2496 -3824 -3692 -2344 -3980 -2184 -3940 2792 -3556 3304 -3316 -3120 -3348 -3396 4032 -4068 3916 -3320 2580 -3972 -4116 3064 3096 -3308 4092 -2512 -2496 4064 -3972 -4076 -4044 -3396 -2652 -3300 -4004 -3652 3672 -4020 -2620 -3980 3304 -3180 -2512 2456 -3348 -2672 -3944 -3808 -3444 -3948 -2480 -4068 2492 -3420 -4028 -3580 -3900 -4068 -4020 -2456 3500 -3744 -3980 -3972 -3392 -2552 2812 -4116 -2564 -3576 -2456 -4012 3064 -2568 -2820 3236 -2384 3756 -2924 -3932 -2348 -3940 -2936 -3840 3944 -3696 -2204 -2228 -3384 -3984 -2512 -3396 -2168 -2172 -2484 -3972 3272 -4092 -2696 -3268 3104 -3356 3056 -3972 3232 -2372 -2344 2140 -2204 -3376 -2244 -3700 -2348 -2340 -4004 -3972 3292 -3584 3788 -2180 2512 -3364 -4092 -3980 -2316 -3972 -3396 -2196 -2144 -3628 -3940 -3404 -2332 3668 -4132 -2780 -2496 -2656 3324 -3980 3696 3932 2636 -2640 -2552 -3368 -2840 2348 -3828 -3308 -2852 -4092 3160 2848 -3980 -3984 -2552 -3932 -4044 -2652 -3408 -3972 2904 -2496 -2380 -2208 -3676 -3364 -3824 -2500 -3864 2172 -3800 2156 -4044 -3980 3528 -2184 -3808 2876 -2200 -3564 -2888 3408 2780 2596 -4132 3048 -2356 3600 -3000 2772 -2316 -3564 -3392 2216 3504 4128 -2896 -4012 3444 2796 -3684 -3308 2176 2356 -2880 -3648 -2932 2488 -4012 3720 -3692 3684 -3972 -2616 -2624 -3988 -2652 -2832 -3048 3376 2980 -3356 -3688 2860 -3932 -2456 2140 -3932 2428 -2456 -3356 -3940 3760 -4012 -2552 2520 2876 3376 -3972 -3392 2256 2740 2720 -2512 -4120 2848 3376 2788 -2380 -2616 -3740 3716 -2892 -3348 3016 2940 3160 2720 -2180 -3688 -4020 3548 -3396 -3356 -3396 2568 -3328 -4132 -2184 4064 2524 -4116 -3932 -3460 -4112 -3368 2740 -2224 3680 2872 -2144 3956 -3524 -2392 -3980 -2656 -3428 -2484 3376 -2812 -3980 -3368 -3176 -4056 -3564 -2608 -3932 -2752 -3136 -3676 -2500 -2396 2812 -3308 -4004 -3980 3844 2180 -3740 3008 -2512 -2144 3192 -3412 -3404 -2240 -3436 -4012 -2652 2880 -2552 3644 -3544 -2736 -2180 3628 -3348 -3700 -2620 -4076 3884 2872 -4068 -3780 3524 2972 -3348 -2696 3608 3348 -3392 3196 3800 -4044 -2220 -2480 -3432 -2356 -4116 -3980 -2400 -3980 -3004 -3932 2524 2332 -3972 2996 -2664 -2552 -2484 -2392 -3328 3720 -3040 2260 -2168 2528 -3056 -2652 -2456 3676 -4068 -3440 2176 -2204 -3364 -4020 -2396 -3348 -4012 3180 2432 3524 -3808 -2320 2864 -2180 -3940 -2744 -3432 -2192 -3348 -3356 3840 -3972 -2456 3236 2664 2992 -2152 3484 -2384 3428 2812 2952 -3940 -2192 2704 -4028 -3308 -4060 -2616 -4000 -3492 2204 -2384 2556 2832 -3912 2140 -2180 -2660 -3936 -4020 -3692 -3964 -3940 4004 -4024 -4020 -3984 3272 3928 -2348 -3816 2140 -3716 -2604 3968 -2180 -3980 2428 -3132 -3396 -3692 -3692 4092 -2496 -3692 -3580 -2480 -3936 3472 2968 4088 3236 2180 -3652 3284 -4028 -3980 -2932 -3140 3372 -2180 -4012 -2524 -3652 4024 -3524 3928 -3648 -3556 -4068 -3980 -2496 2676 3852 -2224 4128 -3352 2656 3608 -2300 -3532 2864 -2280 -2348 -3308 3344 2692 -2356 -2180 -3972 -2828 -2472 -2880 2960 3516 -2552 2460 3360 -3692 3576 -3988 -4116 -2512 3216 -3980 -2300 -3980 3672 3540 -2820 -2608 -3984 -3788 2908 2256 -3944 -2552 -3652 3244 3372 -4020 3848 -3652 -4028 -2620 -3984 -3368 3756 -2480 3924 -2820 2264 -4068 3812 -2632 3228 -3316 2180 2532 -3784 2564 -4076 3380 -4116 -4012 -2656 -2892 -3784 2420 -2756 3440 2728 -2512 -3352 -2820 3548 2752 -2496 -4012 -2280 -3564 2768 4088 2752 -2204 -4012 -2488 -2388 2176 2420 -3604 -2180 2904 -4128 3512 2772 2948 2548 -3328 -2220 -2344 2676 -2552 -2180 -2456 2232 -4020 -3980 3520 -4092 -3980 -3716 3756 -3652 2544 4080 -2384 -3348 2408 -2192 -2144 -4004 -3356 -2780 3572 -2460 -3608 3592 -3652 -2912 -3708 -3744 2680 -3972