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