Name | csp/fapp/fapp37/ normalized-fapp37-2250-9.xml |
MD5SUM | b43fc16fe95e90c7bd2840923bd352e6 |
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 | 65.0451 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097813 | SAT | 65.0451 | 65.3677 |
Abscon 112v4 ESAC (complete) | 2097814 | SAT | 66.1669 | 66.8397 |
SAT4J CSP 2.1.1 (complete) | 2083395 | ? | 0.759884 | 0.843896 |
Concrete DC 2009-07-14 (complete) | 2083399 | ? | 518.65 | 521.474 |
Sugar v1.14.6+picosat (complete) | 2083401 | ? | 1033.95 | 1273.22 |
Sugar v1.14.6+minisat (complete) | 2083402 | ? | 1070.34 | 1087.63 |
bpsolver 09 (complete) | 2083405 | ? (exit code) | 30.9953 | 31.2539 |
Concrete 2009-07-14 (complete) | 2083398 | ? (exit code) | 583.586 | 585.93 |
Mistral 1.545 (complete) | 2083404 | ? (TO) | 1800.11 | 1809.62 |
pcs-restart 0.3.2 (complete) | 2083397 | ? (TO) | 1800.11 | 1812.86 |
pcs 0.3.2 (complete) | 2083396 | ? (TO) | 1800.14 | 1806.97 |
Choco2.1.1b 2009-07-16 (complete) | 2116818 | ? (TO) | 1800.2 | 1809.44 |
Choco2.1.1 2009-06-10 (complete) | 2083400 | ? (TO) | 1800.23 | 1802.24 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3536 3136 -2960 2504 2808 4028 -2284 -3448 -2236 -3932 2860 -3400 -3872 3476 -3024 -3176 -3164 3480 -4056 -2660 2200 2972 3000 3152 -3944 -2180 4020 2544 -3692 -3164 -2344 -2856 -2384 2236 -3452 -3240 -4020 2180 3252 -3652 -3148 -2924 -3652 3964 3536 -2552 -2584 -3848 2720 -3652 -3980 -3412 4016 2976 -2636 3752 -3884 2172 2708 -4028 2972 -2492 -2212 -2232 -3972 -3980 -3432 3404 -2552 -3288 2996 -4028 -2504 -2772 -2144 3456 -2456 2304 -2324 -2524 -2552 -3016 -2648 -2564 2492 3984 -3972 -3008 -2552 2140 2960 3300 -2148 -2596 -4020 -4068 -3404 -2196 -2512 -3692 2224 -2344 -3972 3880 -2608 -3356 3144 3948 -4024 -2184 3272 -3652 -3088 -2532 3392 -2512 -4092 -2680 -3972 -2896 -2876 -2496 2564 2628 -2440 2856 2896 -3212 -4016 -2632 -2688 3444 -3560 -3560 -3448 -4044 2552 -3420 -4044 -3932 -2652 3308 -3980 -3740 -3980 -2552 -3984 -2732 -3692 2896 -2180 3932 2992 3064 -3940 3392 2340 3460 3680 -2388 -3616 -3972 -3408 2460 2272 -2884 -3388 -3652 3276 -3552 -2508 2544 3340 3088 -4044 3332 2892 -2644 2140 -3356 2904 -2240 2172 2304 2836 3844 2724 2536 3220 -3536 -3128 -3324 -4044 -2808 -3980 -3984 -3940 -4004 3892 3192 -3880 -3376 -2208 -2512 -2652 2984 3972 -3356 3944 3048 3284 -4020 -2612 -3356 3320 3600 3476 3260 -4004 2356 -2500 -3900 -3396 -4012 -4024 3344 -4016 -3068 3100 -2828 4000 -4092 -3100 -2652 2884 -2496 -3356 2140 -4132 -3540 -3684 -2356 2552 -3940 2856 2568 -2388 -3148 2384 -3368 -3896 -2880 -2212 -3120 -2884 -3668 4084 4016 2768 2612 -2388 2784 -2356 -3368 4044 -3396 -3932 -4012 -3972 -3328 2140 -2760 2732 -4044 -3412 -2496 -2544 -3348 -2228 -2884 -2180 -3432 3940 -4076 2888 -3972 2904 -4004 3524 -3396 -3396 2956 -3720 -2736 -3872 2500 2636 -2356 -4068 -4044 3752 -3652 -2140 3588 -2668 3496 -3652 3712 3652 -2528 -4044 -3940 -3668 -4004 -3972 -2196 3608 -3368 -2264 -3108 -2384 -2236 -3352 -2640 -2600 2732 2140 3792 -4024 -2396 -2280 -2516 -2756 3820 3048 -2648 -3712 -3460 3372 -3980 -4132 -4028 -3192 2596 2364 -3328 -3760 -2496 -2496 -3524 -2496 -4116 -2484 -2396 -2396 -4076 -3628 -2140 -4076 -2776 -2488 -3984 -2532 2180 2496 -3308 -4012 -3940 -2164 -3648 -3532 -2236 -2148 2908 3024 -2140 -2804 -3056 -4004 2148 -2356 -2612 -4016 -2540 2820 -2688 -2300 -3404 -3340 3644 2488 -3932 -2564 -3336 3020 -2180 3428 -2140 -4028 -2416 -4028 -3704 -3328 3088 -3980 -2632 2936 2140 -2180 -2620 -4020 -3936 -3328 2432 -2652 -2848 -3432 -2540 -2900 -3080 2888 -3836 -2524 -4044 -3648 -3364 -2204 -3280 -4012 -4132 -3692 -2492 -2388 -4012 -3396 3992 3436 2140 3980 3524 2180 -3788 -3940 3960 -3972 2432 -3876 -2180 3224 -4028 -2568 -2856 2180 -3584 -2552 -2604 -3308 -2356 -4012 -3980 -2192 3688 3484 3380 -2596 4068 2620 -2292 -2316 -2224 3976 -2548 -4004 2544 3520 -4044 2180 4076 2396 -2552 -4012 -4044 -2264 -3984 3308 3136 3276 -2508 3100 -2356 3956 -2820 -3652 2836 3396 -2260 -3896 3296 2792 3100 3532 3976 -3688 -3972 -2464 3432 -3828 -3452 3268 2636 3868 -4024 2660 -3992 -3272 2164 -2480 -3536 -2668 2624 3036 -4028 3944 -2700 4100 2492 -4004 -2796 4132 -2508 -3080 2232 -2180 -3608 -3368 -3984 2812 -3088 -2576 -2500 -2908 -3504 -4012 2788 -3620 2696 -2504 -3940 -4068 3644 -3524 -3888 2332 -4004 -4012 -2972 -3824 3640 -2396 -3980 -3368 3828 2720 -3972 3716 -2520 -3496 -2404 -2552 -4068 2444 2888 -2612 2140 -2324 -3348 -2316 -3520 3688 -3140 -3972 3992 -3984 -2224 -2716 -3128 -4020 -3692 3152 3308 3364 2640 4132 -3940 3920 -3968 3628 3280 3744 -2396 -2412 -2384 -3932 -4012 -3444 -3652 -4004 -2180 -3352 -3716 -4024 -2180 -3940 -2692 2348 -3652 2140 -2872 -3644 -4068 3964 -4068 2784 2792 -3272 -2456 -3972 -3076 -3412 -3348 3184 2172 -3576 -3264 -2464 -2532 2456 -3468 -3524 2792 -2512 2744 -4004 -2512 3832 -3648 -3980 -3088 3260 -2916 -4004 3500 -4092 3700 3420 2380 -2456 -3856 -2336 -2356 -4004 2692 3328 -2344 -2404 -3972 -2620 -2160 -3348 -4004 -3884 -4044 -2676 -3692 -3564 -2652 3964 -2456 3180 -3232 -2240 -3252 -3148 2932 -2452 2140 -4012 -3588 2936 3152 -4020 2484 -3356 -3676 3772 3324 -3400 2552 -3568 -3356 -3980 4128 -3660 2524 -4112 -2532 2864 2636 -4028 -2744 2452 -4076 -3120 -4108 -2852 -4004 -2340 -3576 2216 2684 -2692 -4012 3300 -3152 -3948 -4044 -3328 -3396 2260 -2512 -3312 4072 -4028 -3980 -3980 2588 2584 -2660 -2968 -2552 -2900 2536 2984 2140 -3984 -3428 2496 -3012 -4012 -2348 -3384 2496 -2300 -3968 -2824 -3224 -2724 -4012 -4020 -3560 -4068 2900 2700 3444 -4044 -2512 -4004 3236 -3780 -4028 -4132 -3984 2244 3448 2652 -2664 3300 -3996 -3972 2896 -3904 2216 3112 -2140 3640 3400 -3388 -2512 -4132 -2456 3928 3356 -3644 -2760 3212 -4068 -2652 2512 -3652 -4020 -3388 2668 -3328 2612 -4028 2932 2252 -4028 4132 3396 -4116 3176 2532 -3460 2236 -2648 2140 -2180 -3708 3648 3576 -3944 -2348 -2288 -2348 2980 -3396 4064 -2388 -3940 -2668 -2696 -2548 2572 -2140 -2576 -2800 2716 4040 -2404 -3768 3112 -3944 -3308 3736 -2372 -3908 2888 -3564 -3984 -3412 2548 -2660 3076 -3308 2164 3648 3212 3348 -2284 3760 -2512 2376 3544 -3596 -4064 2676 3104 2608 -2564 -2924 -2740 3440 3956 -2248 2232 -4004 -2552 2844 -2196 -3932 -3628 -3304 -2304 -3428 -3276 -4076 -4004 -2456 -3104 3524 3000 -4012 2996 -4012 -4068 2648 -3356 2492 -2456 -3704 -3232 -4020 -3932 -3576 -3856 -2716 3556 3836 -2612 -3316 -2388 3864 -3016 -2180 -2624 -2504 -4092 3544 -2612 -2496 -4020 -3468 2380 3908 -2348 3508 -2592 2652 -2356 -2192 -4044 -3932 -4080 -4068 -3692 3224 -4044 -2512 -2620 -3264 3980 3656 -3876 3668 -3680 -2348 3888 -3676 -4024 2796 3356 -2752 2180 2672 -4124 3284 3276 -2196 -2388 2980 -3348 2736 -3840 -3452 2180 -3104 -3692 -3348 -2664 2940 -2180 3588 2180 -4056 3676 -2496 3108 -4024 3636 3060 -3980 -2276 -3580 -4076 -3348 -3268 -3980 -4028 3368 -3932 2180 3572 -4068 -3972 -3584 2612 -3940 -3188 -3716 3848 -3516 -2648 2204 3432 3516 -2660 -3396 3136 -3364 -2780 -2348 2236 -3984 -4020 -2372 -2140 -4028 -4028 3736 -2820 -3124 -2496 2356 -2664 3252 -3400 -4020 -3360 3984 3628 3640 -3392 -2384 -3940 -2512 3112 -2416 4072 4080 -2348 -3584 -3692 -3348 3564 -4020 -2460 -3328 3264 -3560 2544 2980 -3356 3564 -2628 -3356 -2592 -3776 -3868 -3692 -3972 2652 -3652 -4076 -3936 3532 -2920 -2612 2580 3468 3608 -3444 2588 -2940 -3332 -3804 -4044 -3456 -3716 -3676 2508 -2608 -4068 -2232 3396 2140 3628 3664 2644 -4116 2392 -3392 -3692 -4012 -2524 2456 -3688 -3540 2200 -2936 -2652 -3240 3068 -4004 -3956 -2388 -3528 -2208 -3348 2764 3156 -3980 -3308 3160 -3472 -2408 -3648 -3532 -3648 4128 3728 3696 -3972 3764 3336 2396 2512 -4012 -2352 -3612 -2840 -4076 3012 -2828 -3980 -3972 -2796 -2960 -3932 3612 -3312 3048 3032 -3396 -3720 -3000 -3696 -3200 2180 2608 -2636 -3672 -3972 -2612 -3688 -4056 -2512 3372 -2780 -3608 -2496 -3932 2188 -2388 3392 -3748 2772 -2252 -4028 -4044 -3972 -3588 -2620 -2932 2232 -3440 -3980 -2332 3484 -2460 -4132 -2928 -2180 -3996 3592 2820 -2468 -2160 -4032 2504 2900 -3396 -3308 -2144 -3308 -3980 -3888 2140 -3432 -3060 3292 3064 -3676 3344 -2608 -3640 2624 -3984 -3196 -2444 3124 -3740 2180 -3884 3572 -3944 3884 -3164 -2892 -3568 -3680 2836 -3980 -3416 -3780 -3568 -2232 -3396 2752 2140 3896 -3128 -2184 -2548 -2836 -2656 -4076 -2944 -2180 -3356 2852 -2624 -2628 -3944 -3192 -2708 2160 -4020 -3736 -3676 3412 -2212 4068 -2268 3720 3348 -3392 -2212 -2456 3844 -2520 -3972 -2472 3136 3480 -3980 2504 -2300 -3436 -3924 2896 3184 3548 2724 -3892 -4012 -3716 2396 -3972 -4068 -2544 -3524 -3980 -2784 2140 -3932 -2764 -2684 3712 3424 -3556 -2460 -4040 3344 -2616 3808 -2284 2332 -4132 -2408 -4044 -3428 2188 -2548 -4092 -2140 2784 -3352 -3972 -3592 -3972 -3312 -3932 -3716 -3436 -3020 2928 3908 -2180 2596 -4004 -2620 -3000 3412 -3844 -3972 -2536 3452 -4092 2668 3576 -3348 -3652 2484 -3328 -2364 3368 -3692 2228 3032 -3268 -3240 -4008 -2352 2140 2260 3684 -3388 -3940 -3340 -3308 -3320 2572 2764 3688 3464 3556 -3564 2944 2844 3944 2400 2740 2936 -2168 -2700 -3932 2524 -2260 -3400 -2780 -3932 2464 -3568 -3396 -4004 -2496 3980 -2280 2824 4092 -4044 -3592 -2284 -2236 2684 -3692 -3328 2608 -3308 -3652 -3308 2392 2648 -2396 -3972 -3704 -2192 -4116 2504 2652 -2824 -2532 3200 -3496 -4132 -3972 -2868 -3328 -3428 -4116 2612 -2660 3028 -3320 3416 2264 -3912 -3788 3504 -3348 -4012 -4116 -2524 -2196 -2244 3528 3672 -2348 3260 -4132 -4020 3396 2868 3356 -2292 -3416 -3308 2368 -2348 -3780 2892 2284 2828 3368 -3792 3004 -2332 2940 3996 -3328 -3648 2928 -2420 -4004 -4004 -3800 -4132 3048 -3972 -3724 -3940 -2476 -3972 -4012 -3980 2932 3372 -2148 -4024 2792 -3896 -3580 -3348 2780 -3544 3448 -3880 -3568 4040 -2292 -3392 3432 -3832 4024 -3860 -3140 2956 -2184 -3884 2544 -2360 -3412 -3252 -2500 3676 -2348 -3428 -2612 -3972 -3040 -3972 3648 3952 -3312 -3972 -3648 -3980 -2344 -3504 3144 -3040 -2140 -2784 -3972 -2664 2396 -3980 4088 -2608 -3308 -3692 2876 2832 -2300 -3312 2140 -3972 -2460 2720 -3972 2140 -4004 3700 -3396 3436 2920 -3392 -2528 3444 -2524 2628 3412 -3412 -2708 3672 -3984 -3492 3384 -4004 3300 -2604 2588 -3784 -4012 -2468 -3404 -2252 2920 -4028 3700 2772 2520 3660 -2384 -4068 -3356 -3628 -3684 -3492 -3548 -3980 -4068 -3488 3980 -2652 -2456 -2384 -3452 -3980 2260 -4016 3204 -3368 -4076 2424 3036 -3644 3608 -2324 -3972 -3972 -2372 -4092 2896 -4028 2744 -3116 3104 -4132 -2620 3244 -4044 2804 -3820 -3400 2752 3212 -4092 -3308 -4044 3652 -3816 -3200 -2436 3256 2768 -2488 2556 -4024 -2248 -4012 -2512 3684 -3524 -3316 2752 -3488 -3872 -2496 -3832 -3692 -2348 -3980 2180 -3940 -2792 3552 3304 -3316 3124 -3348 -3396 4036 -4068 3920 -3324 2580 3972 -4116 3060 3160 -3308 -4092 -2512 -2496 3988 -3972 -4076 -4044 -3396 -2664 -3300 -4004 -3652 3668 -4020 -2620 3980 3308 3188 -2512 2456 -3356 -2676 -3944 -3812 -3436 -3948 -2480 -4068 2524 -3412 -4028 -3616 -3900 -4028 -4020 -2460 3500 -3748 -3984 -3972 -3392 -2552 2816 -4116 2556 -3572 -2456 -4012 3072 -2564 -2820 3236 -2388 3760 -2924 -3932 -2356 -3940 2940 -3840 3940 3684 -2204 -2236 3384 -3984 -2512 -3396 -2168 -2196 2484 -3972 3268 -4092 -2696 -3268 3108 -3352 3052 -3972 3236 -2372 -2344 -2164 -2212 -3376 2268 -3700 2344 -2340 -4004 -3972 3288 -3580 3792 -2180 2512 -3360 -4092 -3980 -2292 -3972 -3396 -2184 -2144 -3624 -3940 -3400 2140 3676 -4092 -2780 -2500 -2652 3324 -3980 3692 3932 2652 -2644 -2552 -3360 -2844 2356 -3824 -3308 -2856 -4092 3228 -2852 -3980 -3984 -2552 -3932 4044 2652 -3408 -3972 2908 -2496 -2380 -2208 -3676 -3368 -3828 -2500 -3860 2192 -3800 2160 -4044 -3980 3524 -2188 -3804 2812 -2180 3564 2892 3404 2792 2612 -4132 3040 -2396 3600 -3000 2776 -2324 -3564 -3372 2220 -3516 -4132 2900 -4012 -3440 2788 -3688 -3308 2176 2356 -2884 -3652 -2940 2492 -4012 3716 -3692 3696 -3972 -2612 -2648 -4004 -2672 -2832 -3056 3376 -2968 -3356 -3692 2860 -3932 -2456 2140 3932 2436 -2460 -3356 -3940 -3760 -4012 2552 -2520 2860 3376 -3972 -3392 2296 2744 2736 -2512 -4092 2848 3376 2780 -2388 -2616 -3744 3716 -2896 -3348 3004 -2928 -3164 2724 2196 -3688 -4020 3548 -3392 -3356 -3396 2568 -3368 -4132 2208 -4068 -2516 -4116 -3932 -3464 -4112 -3368 -2752 -2208 3672 2868 -2168 -3956 -3528 2396 -3980 -2684 -3428 -2484 3388 -2816 -3952 -3368 -3176 -4056 3564 -2608 -3932 -2772 -3120 -3676 -2496 -2396 2808 -3308 -4004 -3980 3848 2140 -3740 -3008 -2512 -2140 3176 -3408 -3396 -2240 -3452 -4012 -2660 2876 -2552 3656 -3556 -2740 -2204 3628 -3352 -3704 -2624 -4060 -3888 2876 -4068 3776 3520 2988 -3348 -2692 -3608 3336 -3388 3200 -3800 4044 -2264 -2492 3440 -2368 -4116 -3980 -2404 -4044 -3008 -3940 2524 -2344 -3972 3012 -2652 -2552 -2484 -2400 -3328 3712 -3040 2260 -2196 -2528 -3044 -2660 -2456 3668 -4068 -3440 2172 -2228 -3364 -4020 -2396 -3348 -4012 3180 2428 -3524 3792 2324 2864 2188 -3940 -2756 -3432 -2248 -3348 -3356 3832 3968 -2456 3236 2668 2996 -2172 -3484 -2388 3432 2808 2948 -3940 -2192 2700 -4028 -3308 -4056 -2624 -4000 -3504 -2188 -2392 2560 -2824 -3920 2156 -2180 -2664 -3936 -4020 -3692 -3980 -3940 -4004 -4024 -4020 -3984 3276 -3936 -2356 -3820 -2144 -3716 -2604 -3976 -2180 -3980 -2444 3140 -3388 -3612 -3692 4092 -2500 -3692 -3576 -2484 -3936 3464 2972 -4120 3240 -2296 -3648 3284 -4028 -3980 -2936 -3144 -3372 -2200 -4012 -2536 -3652 -4028 -3524 3924 -3648 -3552 -4068 -3980 -2504 -2676 -3848 2140 4068 -3348 2656 3600 -2312 -3516 2876 -2280 -2352 -3308 3344 -2704 -2364 -2180 -3972 2820 -2456 -2864 -2964 3508 -2552 -2464 3356 -3692 3572 -3988 -4116 -2508 -3216 -3980 -2300 -3980 3684 3536 -2820 -2608 3996 -3784 2908 2140 -3944 -2552 -3652 3244 3372 -4020 3844 -3652 -4028 -2628 -3984 -3360 3756 -2480 -3940 -2836 2264 -4068 3808 -2636 3236 3316 2180 2484 -3788 2568 -4076 3380 -4116 -4012 -2656 -2896 -3788 2416 -2756 -3440 2732 -2512 -3332 2820 3544 2756 -2500 4008 -2284 -3564 2792 4028 2760 -2204 -4008 -2492 -2392 2176 2424 -3600 -2180 -2904 -4068 -3516 2768 2948 2552 -3328 2256 -2340 2692 -2552 -2180 -2456 2184 -4020 -3980 3520 -4092 -3980 -3716 3756 -3652 2544 -4088 -2380 -3348 2404 -2200 -2140 -4004 -3356 2780 -3560 -2460 -3608 3588 -3652 2912 -3716 -3744 2684 -3972