Name | csp/fapp/fapp32/ normalized-fapp32-0550-8.xml |
MD5SUM | cfa9ba3026b79df8ffeb8caaf7a20825 |
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 | 35.1497 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 550 |
Number of constraints | 9461 |
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 | 9461 |
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:-3792 2452 -2152 -3448 3980 -2808 -3524 -2804 -2832 -2224 -2820 3156 -4100 2588 -2848 -2268 3792 -3320 -3692 -2620 -2888 3572 -3976 2172 -3400 3220 -4060 2980 -3856 2208 -4084 -2844 3376 2788 -3476 -2176 -3036 3180 2728 -2664 3832 -2968 -2772 -4060 -2176 2828 3652 -2232 3460 -2268 -4100 2616 3924 -2112 -2744 2808 3656 4060 3780 -3400 -2884 2944 3808 -3924 -3048 -2472 3436 2848 -2512 -2432 -2620 -2660 2472 -2264 -2196 -2452 -2780 -2680 2956 2132 -3664 3216 2440 -2152 -2268 -2288 -3792 -2708 -3328 2108 -3400 -3896 3084 -2660 -2148 -3360 3068 -2472 3092 -2876 -2964 -2884 -2432 -2780 3920 -3964 -2660 -4092 -2152 -3996 3476 3748 -2844 -2224 4052 2152 3028 -3892 -2276 -3400 -3360 2828 2152 4060 -3476 3780 -2660 -2664 -2844 2132 -3896 3032 2172 -2112 2108 2856 -3400 -2244 -2312 -2624 3608 -2884 -2224 2772 -2624 -2224 -3780 3980 -4036 -4076 -2636 -2664 2140 -2180 2764 4016 2808 2780 3652 -3940 -2640 -3740 2936 2164 -3056 -2172 -3400 2272 2944 3456 -4036 3600 3668 -2664 -2768 -3360 -3360 -3792 3512 -2764 -3736 -2164 2748 -2836 -2424 -2664 3848 -3940 3180 -3360 4060 -2808 3220 -2624 -2868 -2884 3196 3496 -3360 2108 3924 -2836 -2844 -4100 -2268 2576 -3284 2124 -2844 2748 -2840 -3284 2588 -2264 -3612 -3288 2880 2492 -2204 2148 -3820 -4076 -2308 -4100 -2264 2228 -3552 3964 3088 -4060 -3256 -3560 3276 2136 -4100 -2624 -2188 3144 2212 3500 2992 2996 -3696 3692 -2844 3092 -3324 -2884 -3972 2772 -3740 -3848 3436 3696 3816 -2192 -2492 -2180 3264 -2868 -3400 -2620 2648 -3360 3072 -2136 -2620 3924 2944 3832 3364 -2112 -3360 3648 -3324 2708 -3132 -2436 -3284 2532 3404 -2784 -2884 -2512 2272 -2884 2108 -2272 -3564 2424 -3856 -3400 -4100 3372 -4060 -2492 -4076 2140 4080 3880 2848 -2820 2376 -2268 -2820 3136 4052 -3360 4012 -2844 3076 -2652 3284 -4100 3008 -2268 4076 -2164 2532 -3400 -2624 3900 2996 2956 2492 -3328 2688 -3856 -2228 -3400 3132 2172 2984 3220 -3360 -2656 2896 -2744 -2412 -2192 -3360 -2792 2384 2996 -3560 -2812 -2308 -2624 3600 2788 -2228 3020 -2192 -2268 3332 -2248 4100 -2248 -2228 -2884 -3280 -3960 -3400 -3316 -3788 -2176 -2316 -2884 3436 -3832 3936 -2664 -2268 2804 -3124 2120 -2224 2160 2616 2704 -2156 2668 -2264 -3400 3708 3324 4016 -3396 -2844 -3932 3492 3028 -2152 -2264 -2228 -3400 2732 -2224 -2124 3500 3224 2788 -3372 4044 -3324 4056 -2416 2132 2612 -2660 3140 -2548 3836 -2228 -3888 -2844 -3400 -4056 -3888 3408 -2224 -2276 3704 -3804 -2312 -2748 2172 -2748 2896 -3288 3184 3096 -3360 3116 -2876 -3360 2472 -2844 -2136 -2848 -3476 3008 3016 4040 2248 3068 -3848 -2916 -3356 2768 3896 -4060 4052 -2832 -3696 -2124 2648 -2812 -2268 -2816 -3360 3336 -3048 2228 2828 -2264 -3180 3936 -3400 2984 -4036 3764 2148 3860 -2548 -2620 -2264 -2264 -4100 4060 -2224 -2268 3180 -3832 3332 -2884 3460 -2688 -2264 -4100 -2160 -3852 -2476 3032 -2624 -2648 -2384 -2876 -2872 2596 2608 3128 -2288 3796 -2148 4100 -3360 4012 -4036 4060 2480 -2884 3648 -2236 -2844 2936 2924 -3996 2984 -2656 -2212 -2868 3920 -2764 -2664 4060 3964 -2224 -3360 -2616 3452 2140 -3400 4036 2120 3008 -2148 -2452 -3400 3436 2804 -3360 -4036 3656 3140 -3608 -2228 3884 -2180 3180