Name | csp/fapp/fapp33/ normalized-fapp33-0650-7.xml |
MD5SUM | f7a160e85c0f22f460747e3f10500acd |
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 | 29.3565 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 650 |
Number of constraints | 8684 |
Maximum constraint arity | 2 |
Maximum domain size | 498 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8684 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097822 | SAT | 29.3565 | 29.5361 |
Abscon 112v4 AC (complete) | 2097821 | SAT | 30.0654 | 30.3777 |
Concrete 2009-07-14 (complete) | 2083442 | SAT | 181.833 | 183.615 |
Concrete DC 2009-07-14 (complete) | 2083443 | ? | 218.568 | 218.693 |
SAT4J CSP 2.1.1 (complete) | 2083439 | ? | 511.23 | 513.375 |
bpsolver 09 (complete) | 2083449 | ? (exit code) | 60.5208 | 60.8094 |
Sugar v1.14.6+minisat (complete) | 2083446 | ? (MO) | 126.09 | 128.246 |
Sugar v1.14.6+picosat (complete) | 2083445 | ? (MO) | 294.81 | 297.371 |
pcs 0.3.2 (complete) | 2083440 | ? (TO) | 1800.06 | 1803.73 |
Mistral 1.545 (complete) | 2083448 | ? (TO) | 1800.09 | 1813.21 |
Choco2.1.1 2009-06-10 (complete) | 2083444 | ? (TO) | 1800.09 | 1805.5 |
pcs-restart 0.3.2 (complete) | 2083441 | ? (TO) | 1800.13 | 1808.84 |
Choco2.1.1b 2009-07-16 (complete) | 2116822 | ? (TO) | 1800.15 | 1809.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3132 -2956 -3168 -2628 -3208 3164 2256 -2872 -3120 -2224 -2216 -2376 -2252 -3068 -2252 2436 2744 -2640 -2256 2940 -2956 -2796 2968 2908 -2648 -2932 -3208 -2960 3200 2736 -2564 -2252 2784 -2932 -2488 -2488 -2912 -3000 -2256 2216 -2292 -2440 -2856 -2736 2520 2588 -2472 -2856 2984 2268 -2900 3208 2460 2960 3208 2292 2652 -2612 -2216 -2736 -3100 -2360 -3136 2256 -2496 -2956 -2588 2244 2860 2680 2900 3128 -2288 -2488 -3168 -2428 -2932 2712 -3080 -3172 -2900 -2696 -2444 3164 -2972 -2292 -2448 -2916 -3036 2240 -2488 2232 2996 -2996 2248 2736 2264 -2256 -2956 2992 2972 -3068 -2464 -2812 -3024 2556 2312 2344 2744 -2664 -2956 -2956 -2860 3132 2952 2612 -2252 -2436 2772 -3080 -3092 -2384 2892 -2864 2472 3168 -2956 3040 -2872 -2444 2216 -3056 -3168 -2960 -2924 -2592 -3168 2776 -2872 -2916 2536 -2260 3160 -2912 -2276 3020 -2620 3028 -2636 3040 -2448 -2400 -3068 -2996 -2960 -2964 -2956 -3000 -2440 -3208 3164 2984 -3072 2216 -3208 -2216 2724 2500 -2268 -2248 -3068 -2648 -2472 -2448 -2448 -2956 3152 -2816 3084 -3108 -2728 -3104 -2272 2524 -3068 -2288 2916 -3208 2684 2724 -2972 2376 -2976 3168 -2620 -2560 2624 2316 -2520 -2340 3176 -2332 2976 -2916 -3068 2676 -2448 -2924 2640 -3108 -2776 -2956 -2620 -2964 -3208 -2996 2764 -2900 -2584 2976 2480 -2912 -2776 -3108 -2292 -2408 -2932 -2836 -2448 -2300 -2932 2620 2688 -2592 2852 -2996 -2912 -2860 -2308 3208 -2768 -3068 2520 -2916 2216 -2448 2276 2292 -3108 -2916 2572 -2872 -2816 -3176 -2604 2516 -3100 -2728 -3012 2368 2688 2784 -2400 -2488 -2996 2580 -2256 2252 -3168 2428 -2776 -2876 -3068 2552 2256 2600 2596 -2728 2388 -2956 -2916 -2916 -2488 -2956 2996 2704 -2256 -2912 -2252 3208 3120 2900 -2940 2896 -2796 -2660 3132 -3068 2880 2316 -2220 -2964 2516 -2736 -2956 2840 2916 -2872 -3108 -2932 2216 -2996 2720 -2388 -2620 2396 2936 3016 3080 -2716 -3168 -3068 -3168 -3068 -2812 -3136 -3208 -2628 -3112 -2552 3204 -2872 2728 -2764 -2268 -3052 -2912 -2332 -2256 -2496 -2660 -2956 2868 -3108 -2856 -2920 2876 -2336 2384 2488 -3032 -2956 -2980 -3072 -2908 -2976 -2444 2256 -3208 -2648 -2404 -2372 3004 2332 -2828 -2456 2648 -2536 2592 -2440 2664 -2996 -3208 -2216 -3208 -2512 2560 2748 -2256 2480 2784 2772 2892 -3208 -3024 -2912 -2308 2936 -3080 -2488 -2916 -2496 2300 -2872 -2636 -2260 -2996 -2872 2712 -2664 -2496 2864 -2300 -2388 -2596 2284 3168 3020 2432 2688 2856 -2768 2496 -2956 -2912 -2216 2588 2760 -3112 -2856 -2704 -2912 3012 -2916 2456 -2956 3172 -2872 -2956 -2916 -2820 -3204 -2400 2860 -2912 2900 -2864 -3108 2640 -3060 2384 -2956 -2872 -2872 -2312 -2420 2448 -2956 -3168 2904 -2784 -2220 -2488 -2916 -2964 -3108 -3168 -2996 2216 -2912 -3168 2960 -2396 -2484 -2816 -2280 3004 -3168 -2912 -2512 -3000 -2256 2768 2856 -2628 -2780 2836 3040 3208 -3068 -2912 -2956 -3040 -2552 -2824 2752 2752 2776 2624 -2996 2996 -3108 -2688 -2980 -2636 -2952 -2916 -2956 2916 -2940 -2856 -2912 -2896 -2724 2600 -3068 -2272 -2936 -2228 2760 -3160 2336 -2784 -2956 -2972 2616 -2488 -2744 -2956 -2344 3080 -2960 -2920 -3108 -2972 -2956 -2912 -3168 -2720 -3080 -3144 3192 -2920 -3068 -2916 -3168 2816 -2644 2728 2436 -3072 2340 -2916 2216 -2340 -2636 -2596 2344 -2912 2936 -2292 -2256 -3060 3020 -2956 3168 -2252 -3128 -2256 2564 -2216 -2456 -2404 -2912 -2916 -2596 2812 2824 -2656 -2956 -2872 -2864 -2448 -2292 3100 -2292 -2624 -3204 2276 -2400 -2912 -2868 2556 -2440 -2916 2316 2664 -2956 2608 3008 2600 2808 2960 -3124 2940 2492 2920 -2872 -2956 -2320 -2916 -2956 -2872 -2396 -2816 2688 2272 -3108 -3112 -2744 -2956 -3168 -3208 -3108 2484 -2896 2256 2216 -2916 -2740 -2912 -2872 -2660 -3140 -2744 2872 -2824 -2216 -3108 2776 -2900 -2872 -2452 -3168 2524 2364 -2816 -3040 -3016 -2816 -2292 2428 -2380 -2660 -2448 2708 -2788 -2608 2980 -2504