Name | csp/fapp/fapp38/ normalized-fapp38-2500-6.xml |
MD5SUM | 2d78d2c503f7e7a2468aae81a997d77e |
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 | 70.0384 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2500 |
Number of constraints | 62132 |
Maximum constraint arity | 2 |
Maximum domain size | 698 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 62132 |
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:3198 -3450 2650 2650 -2994 -3906 -2798 3650 -3958 -2798 -3434 2714 -3470 -2866 3338 3814 2862 -3722 -2778 -3574 -3478 2906 3094 2654 -3930 -3946 3386 -3478 3946 -2834 -2698 3094 -3142 3734 -2770 3678 -3302 2650 -3930 3026 -3790 3686 -3930 3402 3506 -3386 3682 -4018 -3854 3750 -3990 -3866 2706 -3786 -3778 -2754 -3406 3414 3626 -3854 3758 -3382 2650 -3438 -3830 -3074 -4002 3674 -3046 3586 2654 -3198 -3922 3474 -3174 -3354 -3598 -3806 -3890 3146 -3562 3430 3442 2650 -3870 3406 3550 2678 -3598 -3850 3294 -3342 2718 3554 -3062 2742 -3930 2658 3914 -3538 3550 3546 3066 -3998 3626 -3138 2830 -3074 3386 -3978 3046 -3950 3310 -3106 3510 3618 -3510 -2970 -3686 -3142 -3022 -3750 3526 2850 -3426 3266 -3310 -3642 2958 3314 -3790 -3738 -3034 -3314 3558 -3098 -3294 -3438 -3230 3374 -2814 -3682 -3682 -3990 -3106 3334 -2866 -2698 -2778 -2946 -2726 -2886 3034 3246 -3094 3686 3750 -2830 2862 -3450 -2902 3998 2810 -3346 -3774 -3890 3646 2650 2650 3998 3610 2910 3306 2830 -3674 -2734 -3978 -2842 -3066 -3930 -4042 3202 -3686 3658 3174 2758 3286 -3146 -3890 3166 -3578 3134 2746 -3062 2650 3394 3134 -2934 2782 -3518 3334 -3810 3514 -3334 -3470 -3394 -3266 2782 3946 -3790 -3914 -3354 -3122 3346 -3258 -3142 -3198 -2690 -3818 2782 3358 3258 2762 -3438 -3642 3798 -3222 -3554 3382 -3410 2698 3938 2746 -3690 2690 -3014 -3462 3742 3422 3978 -4042 2654 -2998 -3714 -3734 3054 2690 3182 -3550 -3586 -2658 -3182 -3094 -3958 -2666 -3950 -3382 3286 3546 -2854 -3574 -3674 2710 -3842 -2738 3730 3210 3446 3962 -3390 3726 -4002 -2670 -3526 3366 -2654 -3886 3354 -3650 3230 2982 -2710 -3182 -3990 -3910 -3374 -3750 -3606 -2782 3874 -3682 -3990 -4038 2906 3274 3382 -3266 3578 -2866 -3382 3190 -3082 2670 -3918 2998 -3394 3954 -3162 -2690 -2902 -3134 -2698 4042 3194 3142 -3326 -2650 3070 2670 -3238 -2830 -2918 3130 3062 2898 3166 -3638 -3598 3406 -3886 2738 3978 -3530 -3890 -2726 3254 2902 3102 -2786 -3046 -3186 3694 -3138 3390 -3186 -3334 -2886 3838 -3870 3206 3234 -3998 -3930 -3878 3314 3798 3802 -2902 2718 2810 3018 3058 -3018 2754 2986 3782 -3978 3462 2918 -3838 2986 -3430 -3982 -3538 -3438 -3686 3338 3994 3538 -3126 4002 2694 -3650 -2926 -3146 -3462 -3514 3846 2958 -3614 3074 2778 -3106 -3646 2738 2662 -3990 -2714 -3290 3130 3746 -2718 3982 -3002 -2942 3434 3182 -3946 -3202 -3874 -3410 -3890 2778 -4014 -3058 -2822 -2846 3294 2990 -2670 3938 -2950 2954 -3694 -4038 -2858 3642 3546 -3190 2698 -3102 -3230 -3638 -3382 -3014 -3014 -3914 3730 -2938 -4002 3138 3686 -3026 -2658 -3914 -3646 -2942 -2998 3158 2726 -3890 -3930 -2922 -2866 -3146 -3930 3422 -3342 3718 -4010 2714 -3378 3474 2778 -2654 -3134 -3930 -3054 -3590 -3874 -3182 3142 3346 -3646 2894 3978 3686 4034 -3682 -2666 2754 4002 3122 -2902 -2650 3146 -2942 -2958 -3506 -3066 -2698 3362 -3890 -3890 2694 2686 -3046 -3706 -3750 -3382 -4018 -3098 -3686 -3182 -2706 -3958 2690 -3218 3302 -3610 3306 -3058 -3502 -3890 -3162 3698 -3182 3150 -3790 -3302 2694 -3230 -3110 -2854 -3930 2894 3774 -2902 -3134 -3782 2650 3250 3358 2802 -2706 -3478 -3138 -3422 -2738 -3422 -3270 3862 -3874 -2690 -3386 -3998 -3014 -3790 3594 -3950 3998 3382 -3434 -4042 -3806 -3890 4038 2998 2978 -2726 -2818 -3850 -3078 3694 -2790 -4018 -3066 2658 -3642 -3066 3306 -3874 4038 2898 -2946 3738 3710 -3054 3638 -3906 -2698 -3954 3146 3554 -3342 3598 -3046 -3958 -3078 -3722 -3930 3594 3186 3726 -3546 -3882 3042 -4018 3378 3858 -2814 3098 -3210 -3930 2950 2674 -3046 3574 -3138 3534 -3610 3910 2794 -3206 -3126 3442 2726 2982 2738 -3506 3810 -3074 -3954 -3502 3634 3166 -3070 -3874 3914 -3350 -3846 3290 3442 -2846 -3162 3870 2706 -2702 2694 -3166 3598 3818 -3598 -3238 -3134 -3874 3998 -3134 -3138 -3578 -3646 -4002 2790 3882 -2958 -4018 -2650 -3478 -3646 -2922 3330 -3618 3766 -3946 -3682 -3034 3190 3814 -3010 3186 -2822 2718 -2690 -3258 -3066 -3882 -3870 -3202 -3182 -3890 3426 3758 3162 3610 -3854 -3098 3582 -3270 -2778 2650 -3666 2902 -4042 3234 3202 -3890 -3066 3962 -4038 2758 -3802 3382 -2702 3242 2886 -2814 2914 -2966 -2758 -2818 4002 -3210 -3966 -3170 2994 -3634 -3014 3490 -3354 -2862 -3930 3842 3770 3626 -3774 -4038 -3718 2862 -3198 -3250 3494 -3674 -2870 -3538 3090 -3682 -3598 3658 3670 -3810 3830 -3182 -2858 -3054 -2886 -2690 -4030 -3054 -3510 3162 2714 2938 -4002 -2966 -2666 3538 -3794 3174 3098 -2830 3570 -2686 -3142 -4042 -3994 -3686 -3182 -3570 -3054 -3990 -3930 3094 -3418 2974 3350 -4042 3362 -3382 3578 -3438 -3390 -3478 -2990 -2974 3466 3214 -3206 -3506 -3114 -3106 -3950 -3134 3374 -3126 -3566 -3114 -3574 3382 -3542 -3582 3230 -3870 -3534 -3970 -2806 2734 -3802 3770 -2662 -3402 3662 3610 3230 3046 -3978 2714 -3746 3634 2730 -3950 -3298 3058 3158 2790 -3746 -3950 3886 -3066 3178 3998 -3914 -3930 -3134 -3518 -3654 3682 -2822 3590 2726 3546 -3338 3306 -3890 3602 -3402 3006 -3950 -3890 3646 2706 -3834 -3426 2846 4014 -3250 2754 -2658 3118 3858 3538 -4042 3914 -3566 -3134 -3930 3722 3410 -2862 2650 -3462 -3810 -2742 -3062 -3930 3846 3022 -2914 3034 -2942 3690 2998 -2734 2690 2926 3402 -3034 -3998 3906 3442 -3018 3922 -3646 2690 2930 -3266 3534 -3782 3870 3218 -2818 -2926 -3342 -3902 -3766 -3914 -3646 -3798 3394 -4038 -3930 3038 3338 3846 -3182 -3978 -2906 -3542 4042 3314 3522 -3978 -3894 -3342 -2710 -4038 3106 3946 3730 -3890 -2698 -3998 3374 -2958 2962 -2690 -3174 -3478 3842 3558 2650 3670 3766 4002 2778 -3606 -3094 3986 -2802 2902 3642 -4018 -3690 -3998 -2978 -3462 3430 -3990 -3538 3746 -3698 3634 -3142 -3542 -3370 -3958 -3194 -3306 -3110 -3598 -3018 -3314 -2842 -2694 3142 2902 3402 -3882 3970 -3998 3806 3694 2806 -3134 3342 -3998 2878 -3978 -3306 3158 -3362 3542 -3354 3058 -3642 3334 3146 3002 3698 -3830 3086 2974 -3398 -3822 -3310 2954 2738 -3206 2702 3374 3846 3738 -3890 -3998 -3582 -3890 3282 -3414 -2846 -3386 -3874 3578 -2706 -3978 -3382 -3506 3338 2974 3202 3854 -3050 3510 3198 -3990 3658 2822 3242 -3106 -3106 -3682 -3750 3066 -2710 -3346 -3006 2650 -3946 -3646 -3950 3410 -3274 -3094 3006 -3150 -2938 3422 3766 -3834 2934 3466 3106 3218 -3386 4042 -3446 -2886 -3998 2966 -3186 -3650 -3910 -3542 -2702 -3070 3254 3646 3078 3362 3506 -2766 -3682 -3890 -3722 2862 -3290 -3642 2658 -3074 3638 2714 -3094 -2690 -3474 -3638 3582 -3998 -3634 -3538 -3990 -3106 -3186 -3990 -3054 3098 -2966 -3886 3462 -3058 -3594 3862 -3990 -3790 -3990 3342 2770 -3430 -3930 -2946 2974 -3994 -3406 -3682 -3554 -3110 3662 -3590 -3106 -3438 3342 -3450 -2690 3970 -3642 2890 3274 3054 3566 3502 -3802 3762 -3806 2902 3118 -3846 -3642 3610 2938 2914 2946 -2690 3410 -3914 -3990 -3038 -3714 -3130 -3342 4030 -3310 2694 3914 -3022 -3490 -3074 -3422 3738 -3578 -3890 -2822 -3330 -3170 -2946 -3914 -3138 -3802 -3958 -3998 -3558 -3086 -3438 2694 -3238 -2938 3910 -3890 -2774 3054 3422 3734 3558 3122 -2986 -3490 3206 -3790 -2862 -3914 2962 3034 -3610 -2854 -3910 2778 3342 -3930 -3170 -3610 3682 2822 -3650 3794 3666 -3182 -3130 2998 -3054 3790 -2870 -2682 -3642 -3134 -3066 3906 3022 -2958 -3114 -3990 -3890 3022 3530 -3950 -3198 -3470 3950 3690 -4042 -3650 -3238 -3250 -3394 2826 -4042 -3958 -3726 -3910 -3446 2718 -3722 -3586 -3298 -2698 -2894 -2902 4034 -3478 2694 3086 -3026 3502 3326 -3138 3702 -3790 -3102 3354 2738 -2818 3098 -3562 -4022 2762 -3470 -2734 -3118 -3870 -3054 -2674 -3238 3250 -3398 -3410 -3918 3034 -3702 3318 3190 3086 3582 -3182 3486 3638 2990 3462 -3914 -4018 3430 -3182 -3974 -2702 -3478 2926 3594 3762 -3094 3138 4014 3034 3146 3718 3674 -2862 3734 2838 -3586 3170 2778 -3686 -3822 -4042 -3522 -3978 -3914 -3014 3074 3686 -3806 -3734 -2826 -3982 3786 -3978 3450 -3470 -3990 3250 3870 -3830 -3598 -3598 -3750 -3958 -3990 -3382 -2742 3702 3634 3534 3974 -3302 -3978 -3642 -3186 -3342 3206 3738 -2982 3234 3030 3162 3190 -3202 3350 -3894 3586 3926 3006 3634 -3594 3742 3526 -2706 3246 -3990 -2826 -3794 -3758 2794 -3042 -3954 2938 -3958 3626 3190 -3014 -2714 -3926 -3582 -3198 -3094 -3882 -2730 3030 2702 -2694 -3298 3834 -3222 3910 -4042 2666 -2902 3166 -4018 -3694 3018 3710 -2874 2774 -3478 -3530 -3798 3482 3254 3066 3354 3994 -4002 -3990 3690 2750 -3646 2902 3290 3986 -2978 -4022 4042 -3890 -3342 3778 3390 2742 -3750 -3098 -3650 -3294 2714 -4042 -3930 -2926 2658 3878 -3698 -2690 3870 3290 3862 -3250 -3578 2778 -3082 3154 -3778 3710 -3830 -3062 2690 2670 3702 -3970 2994 2690 -3642 -3134 -3822 3490 -3458 3598 -3958 3122 -3094 -4042 3082 -3266 3602 2678 -3750 -3370 -3014 3678 -3166 -3238 3686 -3950 -3958 3026 -3074 -3598 -2862 2670 3082 -3486 2690 -3782 2998 3010 -3678 -3982 -2818 -3098 4034 2810 3270 -3606 -3570 -3478 2710 -2722 -2650 -2654 -3810 2690 -3054 -3430 -2870 -4042 3750 -3450 -3918 2862 2910 -3198 -3950 -2778 -3186 -3850 -2970 2746 2942 -2666 3590 -4018 -3926 2890 -3350 3202 -3642 -4038 -3874 -3114 3870 3522 3638 -3914 2742 3750 3402 -2918 -3166 -3806 2850 3682 -3890 -3970 -3950 3638 -3382 -3602 3302 3806 -3626 -3478 -3074 3910 -3294 -3950 3930 -3998 -3582 -3718 -2694 2690 2934 -3558 -3294 3582 -2962 -2894 -3830 3542 3494 -3526 3586 -2978 -3334 -2690 -3114 3638 3642 -3138 -3142 -3034 -3090 -3094 2690 2678 -3342 3566 3546 -3238 -3958 3562 -2974 -3638 3930 -3450 -3806 -3438 -3750 -3598 -3938 -3018 3694 -3598 -2958 -3122 3390 3178 -3450 3594 3606 3054 -3930 3742 3962 -3014 -3234 2894 -3274 3690 -3554 3346 3270 -2906 3462 -3750 3258 -3874 -3706 -3274 -2894 -3094 -3054 -3498 -3274 3170 -3898 3138 3870 2718 3314 -3458 -3214 3334 3418 3322 -3334 3566 -4038 -3926 -3538 3122 -3110 -3646 -3606 -3882 -3342 -3238 2710 3594 -3838 2830 -3438 -3498 -2802 -3750 -2846 -3094 -2854 3666 -3190 -2942 3654 -2678 3758 3186 -3386 -2666 -3306 3126 3314 -3142 3530 -3514 -3522 -2702 3542 3650 -3774 3498 3870 -3150 -3014 3766 -3890 2690 -3786 -3806 2658 2742 3446 2846 3570 -2718 -3042 -3206 -3238 -2946 -4038 3390 -3014 4002 -3890 2938 3154 -3890 -3082 -2654 -3054 -3902 3218 -3190 -3894 -2706 -2690 -3098 3882 3174 -3198 -2674 -3998 -3958 3278 -3890 -3790 3638 -3054 -3398 -3478 -3382 3470 -2702 2738 -3930 3570 -3610 3658 -3274 -3978 -2826 3498 -3786 -3142 -2698 3958 -3598 3942 -3134 -2694 3874 -3922 -3514 2650 -3650 2826 -2986 -3198 2650 3722 -3042 -3378 -3750 -3542 2714 -3866 3078 -3498 -3262 3414 -4018 2962 3550 -3042 -3814 -3878 -4018 -3678 -4042 3626 -3438 2878 -3786 -2706 -3438 -2818 -4002 2670 -3598 -3198 -3142 -4002 3442 -3710 -3994 -3006 3798 -2926 2690 3946 3502 3294 -3198 2654 -3882 -3478 -3918 -3846 3670 3742 -4002 -3930 3350 -3950 3598 2822 -2906 -3054 -3890 4002 -4042 -2826 -3186 3086 -3374 3154 -3626 -3638 -3186 3870 3374 3230 4038 -3458 -3438 3638 -2818 3654 -3650 3862 2658 -3638 -2650 3014 3674 -3842 3654 3830 -3182 3850 2690 -3478 2718 2710 -4002 3350 3074 2666 -3762 2882 2942 3562 3882 2842 -3790 -3354 -3646 -3678 3094 2690 3430 -3050 3554 -3174 3642 -3182 2990 4002 3714 -3930 -3822 -2650 -3442 -3242 3254 -2906 -3646 -3778 -3794 -3130 -2654 -3926 -3774 -3970 -3094 -3098 4042 -3950 -3106 3134 3046 3178 -3146 -3830 -3482 -3826 -3538 3758 -3610 3842 -3610 -2946 3166 2930 2818 -4002 -2854 -3150 3570 -2922 3374 -3378 -3986 2670 -3890 -3538 2698 3162 3898 2846 3762 -2758 -3382 3842 2690 3246 -2990 2754 2842 4042 3102 2698 -2926 -3890 3598 4002 -4002 4002 3650 3666 3386 3994 3110 -3798 2838 4042 -2706 3238 2710 -3890 2722 -2866 3290 2790 -3998 3834 3870 -3198 2718 2698 3910 2690 -3422 -2810 -3146 3654 3262 3786 3706 -4042 -3978 3066 3634 -3146 3522 3462 -2702 -3870 -3182 -3998 -3402 -2910 -2742 -3830 3902 -2658 -3698 2806 -3826 2738 3022 3794 -3974 -3990 -3426 -2906 3102 -3310 3882 -3018 3490 -2698 -3642 -3650 -3790 -3610 2806 3554 -3094 3230 -3490 3938 3478 -3998 -2778 -3546 -3638 3702 -3538 -2854 3334 -3326 -3298 -3634 -3646 3026 -3658 4022 -4002 3738 3410 -3142 2938 3178 3818 3986 3218 -3550 2978 -3426 -3998 -3210 3894 -3790 2698 -3178 -3930 -3874 2686 -3830 -3154 -4018 3766 -2862 2950 3214 3950 -3410 3042 3078 -3438 -3958 3998 3770 -3106 -3094 3230 -3774 -2706 -3542 3178 -3146 -3062 -3362 -3106 3574 -3822 3146 -3950 3402 -2786 2766 -2710 3502 3294 3066 -3578 -3066 -3142 -3682 -3382 3526 -3698 3906 -3854 -3834 -3210 -3342 3290 -4002 2758 2650 -3438 3446 3674 -2966 -2650 -3554 -3478 -3950 3222 -3126 -2666 -2870 -2946 -3686 -3718 -2886 -3378 -3054 3702 3910 3682 2666 2822 -3978 -3598 -3134 -3762 2706 3842 -3678 3334 -3930 -2678 -3294 3786 3502 -4034 2982 -3058 -2694 -3686 3322 3526 2690 3234 2734 -3638 3514 -2854 2818 3946 -3826 3094 -3930 -3762 -2902 2878 -4038 -2902 -3142 -3390 -2686 -3922 -2650 2846 2838 -2818 3862 2874 -2718 3730 -3322 -3038 -3182 3078 -3998 -2934 -3950 3858 -3894 -3342 -3198 4042 -3002 3010 2786 -3930 3406 3954 -3922 2934 -3094 3306 -3162 3450 3186 -2786 -3094 -3438 3330 -2826 -3958 -2994 -4014 -2670 3054 -3046 -2678 3762 -3498 3790 2878 -3266 -3998 -3474 -3134 -3198 -3130 -2706 -3194 -2902 -3922 3782 -3462 -3678 -4010 -2974 3530 3770 -3438 -3718 -3478 -3958 -4018 -3610 -3746 3886 -3898 -3874 4018 -3074 -3346 4002 3222 -3586 -2678 -2654 -2854 3670 3470 -3134 -3122 3930 -3890 -2666 -3066 3270 2650 3434 -2690 -3638 -3294 -3370 3430 3282 2890 -3086 -2942 3578 3354 -3178 3014 2734 -3930 3582 -3610 -3106 3358 -3874 -3990 -2814 -2922 -2826 -3586 -3762 -2798 3742 3206 -2950 -2942 3410 -3242 3138 -3870 -3998 2650 3502 -3890 -3674 -3750 3370 2958 -3626 -3182 -3222 -3954 -3238 3806 -2742 -3682 3562 2806 -3930 3330 2786 3010 2826 2850 -3102 3138 3846 -3386 -3914 3818 3622 -4010 -3066 -2802 -2754 -3766 -3342 -3810 -3270 -3086 -3438 -2890 -3142 3498 -3922 -3314 -3162 2666 -3222 -3650 3722 3710 2650 -3950 -3106 -3642 -3034 -3682 -2650 -2678 3194 3162 -3434 -3014 -3958 2802 -3346 -2650 -2898 -3214 -3386 -3610 -3930 -3678 -2942 -2854 3742 -3634 3666 -3058 -3534 3170 -3290 3334 2690 -2690 -3238 3838 -3122 3870 -3042 3434 2874 -3094 3238 -3910 3290 -3194 3534 -3382 -3014 -3998 3350 3974 -3646 3754 -3382 3162 2714 -3478 -3422 -2838 3798 -3146 -3438 -4018 -2834 3430 -2674 -3870 2718 -3850 2978 2694 3834 3002 3570 -3066 -4002 3998 2650 -2706 -3314 -3710 -3990 -3282 3698 2850 -3626 -3890 -2946 -4002 -3998 -3090 -3878 3806 3786 -3150 3986 -3302 -3586 4038 -3638 -3726 2710 2694 3162 3906 -3094 3614 -3550 -4018 -3154 3118 -3674 2914 -3618 -3418 -3150 -3950 -2650 -3314 3586 -3182 -3998 -3434