Name | csp/fapp/fapp32/ normalized-fapp32-0550-6.xml |
MD5SUM | 35433b7323a58295c09c0516097c5775 |
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 | 33.8249 |
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) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097865 | SAT | 33.8249 | 34.0479 |
Abscon 112v4 ESAC (complete) | 2097866 | SAT | 35.1727 | 35.5357 |
Concrete 2009-07-14 (complete) | 2083684 | SAT | 333.35 | 336.54 |
SAT4J CSP 2.1.1 (complete) | 2083681 | ? | 0.601908 | 0.688388 |
Concrete DC 2009-07-14 (complete) | 2083685 | ? | 363.218 | 366.682 |
bpsolver 09 (complete) | 2083691 | ? (exit code) | 64.9861 | 65.2504 |
Sugar v1.14.6+minisat (complete) | 2083688 | ? (MO) | 370.273 | 375.544 |
Sugar v1.14.6+picosat (complete) | 2083687 | ? (MO) | 588.85 | 598.591 |
Mistral 1.545 (complete) | 2083690 | ? (TO) | 1800.03 | 1808.01 |
pcs-restart 0.3.2 (complete) | 2083683 | ? (TO) | 1800.06 | 1800.63 |
pcs 0.3.2 (complete) | 2083682 | ? (TO) | 1800.09 | 1802.13 |
Choco2.1.1b 2009-07-16 (complete) | 2116844 | ? (TO) | 1800.13 | 1800.83 |
Choco2.1.1 2009-06-10 (complete) | 2083686 | ? (TO) | 1800.13 | 1801.29 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-3780 2452 2148 -3452 3948 -2808 3468 -2804 -2832 -2224 -2820 3160 -4100 2580 -2848 -2224 3808 -3324 -3692 -2620 -2892 3572 -3976 2168 -3400 3224 -4028 2984 -3832 2208 -4084 -2844 3376 2788 -3432 -2172 -3036 3180 2732 -2660 3808 -2968 -2772 -4060 -2172 2828 3644 -2228 3448 -2268 -4100 2616 3884 -2112 2744 2808 3664 4060 3756 -3400 2880 2932 3812 -3920 -3040 -2472 3392 2848 -2512 -2432 -2620 -2660 2472 -2264 -2188 -2452 -2780 -2676 2956 2132 3656 3220 2440 -2152 -2268 -2288 -3768 -2708 -3328 2108 -3400 -3872 3084 -2660 -2180 -3360 3068 -2472 3096 -2884 -2964 -2884 -2432 -2780 3916 -3936 -2660 -4088 -2152 -3996 3476 3740 -2844 -2224 4020 2144 3028 -3892 -2276 -3400 -3360 2816 2148 4060 -3432 3756 -2660 -2660 -2844 2132 -3872 3032 2172 -2112 2108 2856 -3400 -2240 -2300 -2624 3592 -2884 -2224 2764 -2620 -2224 -3776 3948 -4040 -4044 -2632 -2660 2140 -2176 2764 3984 2808 2780 3652 -3908 -2636 -3716 2936 2164 -3064 -2172 -3400 2260 2932 3468 -4036 3584 3644 -2664 -2772 -3360 -3360 -3768 3468 -2764 -3736 -2160 2744 -2836 -2424 2660 3824 -3908 3184 -3360 4060 -2804 3224 -2620 -2856 -2884 3200 3508 -3360 2140 3884 -2844 -2844 -4100 -2264 2572 -3284 2124 -2844 2744 2832 -3284 2580 -2264 -3612 -3288 2872 2492 -2200 -2148 -3816 -4044 -2308 -4096 -2264 2228 -3508 3924 3100 -4028 -3260 -3544 3280 2132 -4060 -2620 -2184 3140 2208 3488 2992 2996 -3684 3684 -2844 3096 -3324 -2884 -3972 2764 -3716 -3852 3436 3696 3808 -2184 -2480 -2176 3280 -2868 -3400 -2620 2648 -3360 3072 -2128 -2620 3896 2940 3808 3376 -2108 -3360 3632 -3324 2708 -3136 -2432 -3284 2520 -3416 -2788 -2884 -2512 2260 -2884 2108 -2268 -3508 2420 -3832 -3400 -4100 3372 -4060 -2480 -4076 2136 4092 3876 2852 -2820 2376 -2268 -2820 3136 4048 -3360 3980 -2844 -3080 -2652 3284 -4100 2996 -2268 4080 -2160 2520 -3400 -2620 3900 2996 2956 2496 -3328 2688 -3848 -2228 -3400 3136 2172 2980 3208 -3360 -2656 2896 -2748 -2412 -2188 -3360 -2792 2384 2996 -3544 -2804 -2308 -2620 3584 2784 -2228 3024 -2188 -2264 3288 -2248 4068 -2244 -2264 -2884 -3284 -3936 -3400 -3320 -3780 -2168 -2312 -2884 3436 -3848 3936 -2664 -2268 2804 -3124 2200 -2224 2164 2608 2704 -2148 2668 -2264 -3400 3684 3324 3984 -3400 -2840 -3932 3496 3028 -2148 -2264 -2224 -3400 2732 -2228 -2120 3492 3240 2784 -3328 4044 -3324 4024 -2416 2132 2612 -2660 3140 -2540 3836 -2228 -3864 -2844 -3400 4024 -3864 3412 -2224 -2272 3696 -3856 -2300 -2748 2168 -2748 2904 -3288 3180 3096 -3360 3120 -2876 -3360 2472 -2844 2132 -2848 -3476 3000 3024 4052 2248 3068 3824 -2916 -3360 2764 3900 -4060 4020 -2832 -3704 -2120 2648 -2804 -2268 -2816 -3360 3336 -3036 2228 2816 -2264 -3184 3940 -3400 2972 -4004 3816 2144 3860 -2540 -2620 -2268 -2264 -4096 4056 -2224 -2268 3168 -3820 3332 -2884 3452 -2688 -2264 -4100 -2160 -3852 -2472 3032 -2624 -2648 -2380 -2876 -2872 2592 2608 3140 -2284 3796 -2148 4068 -3360 3980 -4036 4020 2480 -2884 3632 -2236 -2844 2944 2924 -3996 2972 -2648 2208 -2856 3896 -2764 -2660 4056 3924 -2224 -3360 -2612 3456 2136 -3400 4036 2124 3008 -2148 -2456 -3400 3392 2804 -3360 -4004 3644 3144 3592 -2224 3880 -2180 3184