Name | csp/fapp/fapp38/ normalized-fapp38-2500-9.xml |
MD5SUM | 68fe27f113711ce0fc0a376a1a638b50 |
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 | 76.9953 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097828 | SAT | 76.9953 | 77.4327 |
Abscon 112v4 AC (complete) | 2097827 | SAT | 80.0758 | 80.8952 |
SAT4J CSP 2.1.1 (complete) | 2083472 | ? | 0.613906 | 0.68238 |
Sugar v1.14.6+picosat (complete) | 2083478 | ? | 765.171 | 781.84 |
Concrete DC 2009-07-14 (complete) | 2083476 | ? | 999.977 | 1000.39 |
Sugar v1.14.6+minisat (complete) | 2083479 | ? | 1011.82 | 1041.03 |
Choco2.1.1 2009-06-10 (complete) | 2083477 | ? (problem) | 149.631 | 150.987 |
bpsolver 09 (complete) | 2083482 | ? (exit code) | 35.7616 | 36.0759 |
Concrete 2009-07-14 (complete) | 2083475 | ? (exit code) | 812.447 | 818.488 |
Mistral 1.545 (complete) | 2083481 | ? (TO) | 1800.02 | 1803.62 |
pcs 0.3.2 (complete) | 2083473 | ? (TO) | 1800.07 | 1810.96 |
pcs-restart 0.3.2 (complete) | 2083474 | ? (TO) | 1800.14 | 1813.77 |
Choco2.1.1b 2009-07-16 (complete) | 2116825 | ? (TO) | 1800.26 | 1807.75 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-3194 -3458 2650 -2650 -2978 -3906 -2790 -3654 -3958 -2790 3426 2714 -3474 -2866 -3330 3814 -2874 -3726 -2774 -3578 -3478 -2906 3086 2650 -3930 -3946 -3398 3474 3942 -2826 2694 -3098 -3142 -3734 2774 3682 -3306 2650 3930 -3034 -3790 3686 3922 3406 -3506 3394 -3698 -4018 -3854 -3750 -3990 3866 2698 -3790 -3778 2750 3414 -3418 -3630 -3854 3770 3382 2690 3442 -3830 -3074 -3990 -3678 -3042 -3590 -2650 -3194 -3922 3474 -3174 3346 3598 3810 -3890 -3174 3558 3434 3446 -2950 -3870 3406 3550 2690 -3598 -3850 3298 -3346 2718 -3554 -3062 2754 3930 2650 -3914 3542 -3554 -3538 3054 -3998 -3630 3130 2826 -3102 -3390 3978 3046 3946 3318 -3106 3510 3618 -3510 -2962 -3690 -3142 3018 3750 3526 2846 -3434 3258 3314 3642 -2954 -3318 -3790 3742 3030 -3318 3558 -3098 3298 -3438 -3226 3366 2806 -3686 -3686 -3990 3106 3338 -2862 -2690 2778 -3114 -2742 2882 -3034 3246 -3094 3702 3750 -2826 2870 -3450 -2902 -4002 2806 3334 -3774 -3886 3646 2650 -2798 -3998 -3610 2914 3298 2650 -3690 2650 -3978 2846 -3066 -3926 4042 3202 -3686 3658 3174 -2766 -3274 3146 -3882 3166 -3582 -3134 2746 3050 -3134 3398 -3130 -2934 2778 -3526 -3334 -3810 -3514 3338 -3466 -3398 3266 -2782 3946 -3790 3914 -3346 3114 3350 3258 -3138 -3198 -2762 3822 2790 -3358 3262 2770 -3438 -3646 -3810 -3214 -3554 -3386 -3414 2690 3934 -2758 3690 2690 3014 -3462 3738 3410 3938 4026 2650 2994 -3710 -3734 3078 -2694 -3174 3550 3586 2650 -3178 -3098 3958 -2666 -3950 3386 3274 -3546 2846 -3578 3674 -2706 3842 -2730 3730 -3214 3450 3962 -3390 3726 -4002 -2666 3526 -3366 -2666 -3886 -3362 -3650 -3222 2982 2706 -3182 3986 3914 3374 -3750 -3606 2794 3866 3678 -3990 -4038 2918 3278 3374 3258 3578 -2874 -3382 -3190 3078 2650 -3914 3014 -3390 3954 -3162 -2690 -2902 3134 -2694 -4042 -3198 3138 -3314 -2678 3074 -2670 -3246 -2838 -2910 3130 3062 -2890 3162 -3638 3598 -3414 -3886 2750 4002 3530 3882 -2718 -3246 2890 3102 -2794 3050 -3182 -3694 -3138 3390 -3186 3330 -2878 -3854 -3874 3202 -3238 -3998 3922 -3894 -3306 -3810 3798 -2894 -2650 -2806 -3014 -2966 3014 2754 -3074 3782 -3978 -3458 2918 -3838 -2982 -3438 3906 -3542 -3438 -3686 3330 3994 3542 -3126 3998 2690 -3650 -2926 -3142 -3466 3514 -4018 -2950 -3614 -3074 2766 -3110 -3650 2738 -2658 3990 2710 3290 3134 -3746 -2726 -3982 -2998 -2942 3430 3178 3950 -3202 -3874 -3402 -3890 2770 4014 -3042 2814 2850 -3306 -2986 -2666 3934 2946 -2994 -3686 -4038 -2854 3642 3538 -3194 -2702 -3114 -3230 -3638 3382 -3010 -3014 -3914 3730 2930 -4002 3138 -3702 -3026 -2650 -3914 -3646 2942 3002 -3158 2718 3890 -3930 -2922 -2862 -3142 -3930 3422 3346 3718 -3926 2714 -3370 3478 -2766 -2650 -3138 -3926 -3054 3590 -3874 -3182 3154 -3346 -3646 2890 3974 -3682 -4034 3682 -2658 -2750 -4002 -3126 -2894 2650 -3142 -2942 2954 3506 -3066 -2682 -3366 -3882 -3890 2690 2678 3042 -3710 -3750 -3386 -4014 -3102 -3686 3178 -2694 -3958 2694 -3218 3302 -3610 3306 -3062 3498 -3890 3154 -3702 -3182 -3174 -3790 -3306 -2706 3222 3114 -2898 -3930 2890 3774 -2902 -3134 -3782 -2650 -3250 3354 -2806 -2698 -3478 -3138 -3422 -2722 3426 3262 -3862 -3874 2686 -3390 -3998 -3018 -3790 -3598 -3950 3998 3386 -3426 -4042 3810 -3890 -4038 -2994 2978 2730 -2810 -3850 3082 -3694 2798 -4018 -3066 2650 -3646 -3066 -3298 -3874 -4038 2874 -2942 -3742 3714 -3054 -3638 -3906 -2690 3954 3146 3554 -3346 3598 -3046 -3958 3106 3726 3922 3594 3182 -3730 -3546 3886 -3038 -4018 -3382 3858 -2818 -2926 -3210 -3930 -2946 2670 -3042 -3574 -3058 -3534 -3610 -3922 -2786 -3214 -3126 -3442 -2722 -2978 2742 -3498 3810 -3066 -3954 -3498 3650 3158 -3074 -3874 -3914 -3354 -3842 -3294 -3442 -2838 -3162 3870 2706 2702 2690 -3166 3590 -3814 3602 -3234 -3134 3874 -3998 -3134 -3142 -3578 -3646 -4002 2786 -3882 -2950 -4018 -2650 -3478 -3646 2914 3334 -3638 -3766 -4042 -3682 -3038 -3190 -3814 -3018 -3182 -2814 -2726 -2690 -3258 -3070 -3886 3870 3202 -3182 -3890 -3434 -3770 3166 3610 -3854 -3098 -3586 -2662 2790 2650 3670 2910 -4038 3238 3202 -3890 3070 -3962 -4038 2750 -3802 3386 2714 -3242 2890 -2806 -2914 2942 2754 2806 -4002 -3238 3966 -3170 -2990 -3634 -3018 -3494 3358 -2870 -3930 -3846 -3774 3630 3774 -4038 -3722 2874 -3198 -3250 -3490 3690 -2878 -3538 -3090 -3682 3598 -3662 3674 -3810 3830 -3182 -2858 -3058 -2894 -2690 -4030 -3054 3514 3162 -2714 -2930 -3998 -2778 -2650 -3558 -3798 3170 -3098 -2822 -3570 -2678 -3142 4042 -3994 -3694 -3194 -3570 -3058 -3990 -3930 -3086 -3422 -2970 -3358 4042 3366 -3382 3578 -3438 3398 -3478 2986 -2974 3466 3222 3210 3498 -3114 3118 -3950 -3134 -3366 -3126 3566 -3130 3574 -3370 3562 -3586 3230 -3870 3534 -3970 -2818 -2738 3802 3770 2658 -3402 3662 3614 -2702 -3050 -3978 2710 -3750 -3650 -2726 3950 -3298 -3066 3158 2786 -3758 -3950 3978 -3070 -3178 3998 -3914 -3926 -3142 -3514 -3654 3682 -2818 3590 -2730 -3542 -3338 -3298 3890 3598 3402 -3002 -3950 -3890 -3662 2690 3834 3438 -2834 -4014 3254 -2754 2658 -3122 3854 3534 4042 3914 -3566 -3126 3930 -3730 -3410 -2854 -2726 -3462 -3810 2742 3062 -3930 -3858 -3018 -2906 -3038 2942 3690 3030 2738 -2690 2902 3406 -3062 3998 3906 -3446 -3002 -3922 -3662 2690 2918 -3258 -3538 -3786 3874 3214 2814 -2934 -3342 -3902 3770 -3914 -3646 3802 -3402 -4038 -3930 -3066 3338 -3850 3186 -3978 -2906 -3542 4042 -3306 3518 -3978 -3894 3342 -2706 4038 3102 3950 3734 -3890 -2694 3998 3374 2962 2962 -2690 -3174 3478 -3850 3554 2662 -3678 -3766 -4002 -2770 -3606 3094 -4002 -2810 -2906 -3642 -4018 -3694 -3998 -2978 -3466 -3438 3990 -3538 3746 3698 -3638 -3142 -3562 -3370 -3958 -3186 3306 -3114 3598 -3018 -3314 2838 -2690 3082 2906 3406 -3886 3966 -3998 3810 3690 2814 -3138 3338 -3998 -2878 -3978 -3306 -3162 -3366 3534 -3354 -3054 -3646 3326 -3146 -2998 3698 -3830 -3086 -2970 3402 -3822 -3314 2938 2734 -3210 -2698 3370 3858 -3734 3890 -3998 3586 3890 3282 3422 -2858 -3390 -3874 -3598 2698 -3978 -3386 3502 3338 2970 -3206 3854 -3050 -3514 -3202 -3990 -3658 2830 -3246 -3134 3110 -3682 -3750 3062 -2706 -3350 -2990 -2722 -3946 -3642 3950 3410 -3278 -3094 -3002 3146 -2914 -3414 3766 -3838 2934 3462 -3126 3222 -3390 4042 3454 -2882 -3998 -2950 -3186 -3650 3910 -3542 -2702 -3070 3250 3646 -3070 -3366 3502 2690 -3682 -3890 3722 2850 3290 -3658 -2654 -3078 -3630 -2714 -3098 -2718 3466 -3638 3602 -3998 -3634 -3538 3990 -3110 -3186 3990 3054 3102 -2814 3886 3466 3054 -3606 -3862 -4002 -3790 3990 3342 -2774 -3434 -3930 -2958 2974 -3990 -3410 -3682 3542 3114 3662 -3590 -3110 3434 -3342 -3450 -3174 3970 -3642 2882 3278 -3058 -3566 -3506 -3810 3766 -3818 2898 -3110 -3838 -3646 3610 2938 2906 -2942 2650 3414 -3914 -3990 -3086 -3710 -3130 -3342 -4042 -3314 2694 3906 3022 3490 -3078 -3426 -3738 3598 -3890 -2834 -3330 3174 -2946 3914 -3134 3814 -3958 -3998 -3562 -3082 -3430 2706 -3238 -2938 3910 -3890 2778 3054 -3426 3738 -3562 -3126 -2994 3498 3206 -3790 -2854 -3914 -2966 -3034 -3610 -2850 3914 -2782 3342 -3930 3170 -3610 3682 2818 -3650 3794 3670 -3178 -3170 -3002 -3054 3794 -2878 -2674 3658 3134 -3070 3906 -3018 -2974 -3106 -3990 -3890 3010 -3530 -3950 -3198 -3470 -3954 -3694 -4042 3646 -3238 -3250 -3394 -2830 -4034 3954 3726 -3910 -3446 2718 -3726 -3582 -3298 2698 2894 -2902 -4038 -3478 2694 3086 3026 3506 3326 3138 3702 -3786 -3042 3358 2730 -2806 3098 3562 -4022 -2762 -3474 -2746 3122 3866 3054 -2674 3234 3278 3398 3406 3918 -3038 -3702 -3314 3174 -3090 3582 -3186 3482 -3654 -2958 -3466 -3914 -4018 3434 3190 3974 -2714 -3478 -2918 3594 -3758 -3098 3138 -4014 -3030 3142 3714 -3678 -2938 3734 2834 -3590 -3174 2770 -3686 -3822 -4038 -3522 -3978 -3914 3014 -3070 3686 -3802 -3734 -2834 3986 3798 -3978 -3446 -3474 -3986 -3250 3870 -3830 -3598 -3602 -3742 3958 -3986 -3378 2742 -3702 3634 -3566 -3974 -3302 -3974 -3642 -3186 -3346 3206 -3738 2978 3234 2998 3162 3182 -3206 3354 3894 -3582 3926 -3010 3634 -3594 3750 -3526 2702 3174 -3990 -3054 3798 3758 -2786 -3046 3954 2930 -3958 3622 3202 -3014 -2714 -3926 3582 -3202 -3094 3882 2726 3030 2670 -2694 -3302 -3842 3218 4042 -4042 -2662 -2902 3170 -4018 -3694 3026 -3710 -2874 -2778 -3478 3530 3798 3486 -3254 3066 3354 -3998 4002 -3982 3690 2746 -3646 2910 3290 -3990 -2978 -4022 4042 -3890 -3346 -3782 3402 2710 3746 -3098 3650 -3290 2710 4030 -3930 -2918 2650 3890 -3702 -2690 -3870 3290 3862 -3250 3574 -2774 -3082 3170 3778 -3706 3834 -3058 -2686 -2666 3698 -3970 2994 -2690 3642 -3142 3822 3490 -3462 3598 -3958 -3118 -3098 -4042 3106 -3266 -3602 -2690 -3750 -3366 -3018 -3682 -3166 -3238 -3686 -3950 -3958 3014 -3102 -3598 2854 2670 3082 -3490 2702 -3790 -3006 3002 -3678 -3982 2822 3094 -4034 -2814 -3274 -3606 3570 3474 -2690 -2722 -2654 -2654 -3810 2686 -3054 -3442 -2690 -4042 -3754 3442 -3930 2854 2918 3198 -3950 -2782 3190 -3850 2962 2758 2946 2666 3590 -4018 -3926 2886 -3350 3202 -3642 -4038 -3874 -3142 3870 3522 3638 -3914 -2742 3746 -3406 -2910 -3166 3806 2846 3698 -3890 -3970 -3950 3638 -3382 -3602 3302 3806 -3622 3478 3074 -3910 3294 -3950 3930 -3998 -3582 -3722 -2694 -2690 -2930 -3558 -3286 -3582 -2954 -2858 -3830 -3542 3526 -3530 3590 -2970 -3338 -2690 -3110 -3638 -3638 -3138 -3146 -3038 3090 -3098 -2670 2678 -3342 -3566 -3542 -3238 -3954 3562 2966 -3638 3930 3454 -3818 3438 3750 -3598 -3938 3022 -3694 -3598 -2966 -3122 -3382 3178 -3442 -3594 3606 -3058 -3930 3738 -3962 3010 -3226 2890 -3274 -3690 -3554 3346 3274 -2914 3462 -3750 3278 -3874 3706 3274 -2898 3102 -3054 -3498 -3274 -3174 3894 3138 3874 -2730 3314 -3458 -3214 -3338 3418 -3322 -3330 3570 -4038 -3926 3542 3122 -3110 -3646 3606 -3882 3342 3230 -2706 3598 3842 2826 3438 -3502 2798 -3750 2854 3090 -2846 3666 -3186 -2942 -3654 -2678 -3770 -3186 -3390 -2674 -3306 3122 3314 -3154 -3534 -3514 -3522 -2702 -3546 3650 -3774 -3502 -4002 -3154 -3014 3766 -3886 2690 -3786 -3806 -2662 -2754 -3454 -2842 3570 -2718 -3042 3198 3238 2938 -4042 -3398 -3014 -4002 -3890 2938 -3158 3890 3082 -2654 -3058 -3906 3238 -3186 -3890 -2706 -2990 -3098 -3890 -3182 -3198 -2674 3994 -3958 3286 -3890 -3782 -3638 3058 -3402 3470 3382 3470 2698 -2738 -3930 -3574 -3610 -3658 -3274 -3974 -2822 3506 -3786 -3146 -2690 -3958 -3598 -3946 -3138 2690 3874 -3922 -3514 -2650 3650 2826 2978 -3198 2690 -3726 -3066 -3382 -3750 3542 2714 -3870 3070 3498 -3266 -3414 -4018 2962 3550 3042 -3814 -3874 4014 -3694 -4042 3630 -3438 -2890 -3786 -2718 -3434 -2814 -4002 -2670 -3598 3190 -3146 -4002 3442 -3718 -3994 3002 -3802 -2738 2690 -3950 3506 -3298 -3198 2662 -3886 3474 3914 3850 -3674 3742 -3994 3930 3350 -3946 -3598 -2834 -2902 -3054 -3890 -4002 -4042 2830 3182 3090 3378 3154 -3626 -3638 3186 -3874 -3382 3230 4038 3466 -3438 3654 -2818 -3650 -3654 -3866 2662 3638 -2650 -3018 3670 3846 3646 3826 -3174 3850 -2690 3478 2718 -2710 -3986 3354 -3078 2662 3766 2870 -2946 3562 3874 -2838 -3790 -3358 -3646 -3674 3094 2690 3426 -3058 -3566 -3174 -3638 -3182 2994 4002 3718 -3926 -3822 -2650 -3446 -3242 -3258 -2906 -3650 3774 -3794 -3130 2650 -3918 -3774 -3970 3094 -3106 4042 -3950 -3106 -3130 -3042 -3170 3166 -3830 -3482 -3838 -3538 3754 -3606 3842 -3614 2946 -3170 2922 -2818 -4002 2854 -3134 -3570 -2910 -3370 3370 3986 2666 -3886 -3538 2698 -3158 3898 2842 -3766 -2762 3386 3842 -2702 3242 2990 -2754 -2846 4042 3102 -2702 2854 -3890 3598 -4002 -4002 -4002 3650 -3670 -3386 3994 3134 -3798 2830 -4042 2718 -3238 2710 3886 2714 -3014 3290 2782 3998 -3834 -3870 -3198 -2714 -2690 3914 2650 -3426 2814 3146 3654 3266 3786 3706 -4042 -3978 -3062 -3634 -3146 3522 3462 -2702 -3870 -3186 -3998 -3402 -2918 -2742 -3834 -3902 -2654 3702 -2798 -3826 -2750 3018 -3802 3974 -3990 -3430 -2902 -3102 -3314 -3882 3014 3486 2690 -3642 -3654 -3790 -3610 2794 3558 3102 3222 -3494 -4042 3486 -3998 -2790 3546 -3638 3698 -3538 -2858 -3342 -3314 -3298 -3638 3642 3022 -3658 -4026 4002 -3738 -3410 3142 -2938 3178 3818 3982 3218 -3550 -2986 3430 3998 -3214 3894 -3790 2698 -3174 3926 -3874 2682 3830 3158 -3978 3766 2858 -2954 -3214 -3942 3402 -3038 -3082 3434 3958 3998 3770 -3110 3086 3234 3778 -2714 3546 3182 3146 -3062 -3366 3106 3566 -3822 -3150 -3946 3406 2778 -2770 -2706 3494 -3302 -3074 3598 -3066 -3146 3686 -3382 3522 -3698 -3910 3850 -3834 3214 -3342 3294 3998 2750 -2662 -3438 3434 3670 2958 -2650 3554 -3478 -3950 3218 3130 -2658 -2866 -2942 -3682 -3718 -2886 -3378 3054 -3702 3910 3686 -2658 2834 -3978 -3598 -3138 3762 2706 -3846 -3678 -3326 -3930 -2686 3298 -3798 3502 4030 -2978 -3054 -2702 -3690 3326 -3530 2758 3234 2734 -3638 -3502 2846 -2814 3946 -3826 3094 -3930 3770 -2902 2866 4038 -2902 -3146 -3410 -2702 -3922 -2650 -2858 -2826 2810 3862 2866 2722 -3730 -3326 2990 -3186 3126 -3998 2926 3946 -3858 3894 -3346 -3198 4038 -3006 -3010 -2790 -3930 -3394 -3954 -3914 -2930 -3098 -3306 3166 3446 -3186 2790 3094 -3438 3334 -2814 3958 2990 4014 2666 3046 -3050 -2674 -3770 3502 -3790 2874 -3266 3998 -3466 -3126 -3198 3130 2698 3198 2902 -3926 3782 3458 3694 -4010 -2978 3530 -3770 -3438 -3714 -3478 3958 -4018 -3610 3758 3878 -3894 -3874 4014 -3078 3346 4002 -3230 -3590 -2678 -2650 -2850 3670 3470 -3138 -3122 3930 3890 -2658 -3070 -3270 2650 3434 -2706 -3638 -3298 -3374 3430 -3282 2886 -3086 -2942 3578 3354 3174 -3038 -2734 3926 -3602 -3610 -3114 3362 -3874 3990 2806 -2922 2822 -3586 -3774 -2790 -3746 3206 -2954 2942 3406 3238 3142 -3870 -3998 -2658 3502 3886 3674 -3750 -3374 -2962 3630 3186 3214 -3954 -3238 3798 -2742 -3686 3562 2818 -3930 -3334 2774 -3002 2818 2846 -3102 -3134 3850 -3374 3914 3818 -3626 -4010 -3066 2806 -2750 3770 -3342 -3810 -3262 3090 -3434 2878 -3142 -3502 -3922 -3314 3166 2654 -3222 -3650 3726 3710 -2666 -3950 -3106 -3642 3034 -3686 -2654 -2678 3194 -3162 -3434 -3014 -3954 -2798 -3350 2650 2890 -3214 3394 -3610 -3930 -3678 -2942 -2858 -3742 -3634 -3666 -3058 -3538 3174 -3294 -3346 2698 2690 -3238 -3842 3126 3882 3038 -3442 2866 -3094 -3242 -3910 -3294 -3202 3530 -3386 -3014 3994 -3370 -3974 -3654 -3758 -3386 -3166 -2710 -3474 -3422 -2850 -3810 -3146 -3438 4018 2826 -3422 -2674 -3870 -2714 -3850 2978 -2690 -3834 -3006 -3570 -3078 -4002 3998 -2710 -2702 -3314 -3714 3986 3278 3698 2846 3630 -3886 -2946 4002 -3998 -3130 -3874 -3810 -3798 -3154 -3990 -3302 -3582 4038 3638 -3726 2710 2690 3162 3910 -3098 3606 3554 -4018 -3162 3110 -3674 2954 3638 -3422 -3162 -3950 -2650 3322 -3586 -3182 -3994 -3438