Name | csp/fapp/fapp33/ normalized-fapp33-0650-10.xml |
MD5SUM | 68a6e67c26555a55d1774467340b6ea2 |
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.7865 |
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 AC (complete) | 2097823 | SAT | 29.7865 | 29.9929 |
Abscon 112v4 ESAC (complete) | 2097824 | SAT | 30.2844 | 30.5897 |
Concrete 2009-07-14 (complete) | 2083453 | SAT | 187.621 | 189.553 |
Concrete DC 2009-07-14 (complete) | 2083454 | ? | 252.476 | 255.11 |
SAT4J CSP 2.1.1 (complete) | 2083450 | ? | 663.705 | 666.746 |
bpsolver 09 (complete) | 2083460 | ? (exit code) | 60.7768 | 61.0869 |
Sugar v1.14.6+minisat (complete) | 2083457 | ? (MO) | 128.61 | 130.953 |
Sugar v1.14.6+picosat (complete) | 2083456 | ? (MO) | 301.736 | 305.856 |
Mistral 1.545 (complete) | 2083459 | ? (TO) | 1800.04 | 1800.91 |
pcs-restart 0.3.2 (complete) | 2083452 | ? (TO) | 1800.08 | 1801.63 |
pcs 0.3.2 (complete) | 2083451 | ? (TO) | 1800.1 | 1801.14 |
Choco2.1.1 2009-06-10 (complete) | 2083455 | ? (TO) | 1800.17 | 1809.98 |
Choco2.1.1b 2009-07-16 (complete) | 2116823 | ? (TO) | 1800.2 | 1808.11 |
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 -2632 -3208 3164 2256 -2872 3120 -2224 -2216 2372 -2252 3068 -2248 2436 -2740 -2624 -2256 2940 -2960 -2788 2968 -2912 -2668 -2932 -3208 -2964 -3208 2744 -2536 -2252 -2780 2932 -2488 -2488 -2912 -2996 -2312 -2272 -2288 -2440 -2860 -2736 2528 -2592 -2476 -2856 2972 2268 -2900 3208 2460 -2960 3208 2292 2648 -2620 -2216 -2740 -3100 -2256 -3136 2256 2496 -2956 -2584 -2240 -2856 2664 2904 -3208 2284 -2488 -3168 -2428 -2932 2712 3072 -3172 2896 -2704 -2440 3164 2976 2292 -2448 -2916 3032 -2228 -2488 2232 -2996 -2996 -2244 2736 2264 -2256 -2960 2980 2972 -3056 -2472 2816 3012 2556 2304 2344 2740 -2680 -2956 -2956 2860 -3136 -2952 2608 2252 -2492 2776 -3104 3092 2376 -2616 -2868 -2460 -3168 -2956 -3064 -2872 -2532 2216 -3056 -3168 -2960 2924 -2596 -3168 2780 2868 -2920 -2532 2256 3168 2912 2348 3008 2620 3016 -2604 -3040 -2448 -2400 -3068 2996 2956 -2964 -2960 -2988 -2440 3148 3164 2972 -3076 -2216 -3208 2216 -2728 -2500 -2268 -2244 3068 2648 -2540 -2448 -2448 -2956 3148 -2820 3128 3108 -2728 -3100 -2272 2496 -3068 -2284 2924 -3208 -2688 -2716 -2972 -2376 -2976 3164 -2620 2488 2624 2308 2516 -2344 -3176 -2332 2980 2916 -3068 2672 -2448 -2920 2636 -3108 2776 2956 2620 2964 3208 -2996 -2768 -2900 -2584 -2976 2476 -2912 -2784 3108 -2292 -2392 -2936 -2828 -2448 -2300 -2576 2620 -2692 -2612 -2864 -2996 -2916 -2864 -2308 -3204 2756 3068 2516 -2916 2216 -2448 2272 2292 -3108 -2916 -2580 -2872 -2816 3176 -2604 -2516 -3104 -2716 -3024 -2352 -2684 -2780 -2400 2488 2996 -2580 -2256 -2248 -3168 2428 -2776 -2884 -3068 2556 2268 2596 2564 -2724 2388 -2956 -2920 -2916 -2488 2956 -2996 -2712 -2256 -2908 2252 -3208 3128 2900 2940 -2896 -2792 -2660 3132 -3068 2876 -2316 -2216 -2964 -2520 -2744 -2956 -2836 -2916 -2872 3108 -2932 -2216 -2996 2728 -2388 2620 -2396 2936 3016 -3080 -2712 -3188 -3068 -3168 -3068 -2824 3136 -3200 2624 3092 -2568 -3204 -2868 -2716 -2756 -2268 -3064 2908 -2324 -2256 -2500 -2660 -2956 -2872 -3108 2856 -2920 -2884 2332 2384 -2488 -3020 -2956 -2972 3052 2912 2976 -2440 -2256 -3208 2644 -2400 2364 -3004 -2332 2824 -2456 -2652 -2536 -2608 -2440 -2664 -2996 -3208 2216 -3208 -2500 -2560 2744 2256 -2476 -2784 2776 -2892 -3208 -3012 -2912 2308 2936 -3080 -2488 -2916 -2492 -2300 -2872 -2636 -2232 -2996 2872 -2712 -2672 -2496 -2864 -2304 2396 -2596 -2280 -3168 -3020 2500 -2688 -2856 2756 -2496 2960 -2912 -2216 -2592 2768 -3120 -2856 2704 -2908 3012 -2924 -2456 -2956 3176 2868 2960 -2920 -2820 -3204 -2400 -2860 -2912 2904 -2872 -3108 -2644 -3060 -2384 -2956 -2872 -2872 2300 -2432 2448 2956 -3168 2912 2784 -2272 2488 -2920 2960 3108 -3160 -2996 2216 -2912 -3168 -2964 -2452 -2480 -2816 -2268 -3004 -3168 2912 -2516 2988 2256 2776 2864 -2632 -2784 -2832 -3032 3208 -3068 -2912 -2960 3040 -2572 -2824 -2752 2752 2776 2640 2996 2992 -3108 -2684 2968 -2656 -2952 -2920 -2956 2920 -2944 -2856 -2912 -2896 -2728 2600 3068 -2344 -2936 -2228 -2768 -3168 2336 -2780 -2956 2972 2616 -2488 -2744 -2956 2344 -3080 2948 2924 -3108 -2972 -2960 -2912 -3168 -2728 -3080 -3140 3188 2924 -3068 -2916 -3168 -2824 -2644 -2732 -2436 -3080 -2340 -2920 -2216 -2340 2632 2592 2336 -2912 -2940 -2288 -2256 -3064 3012 2956 3168 2252 3128 -2256 2564 -2216 -2460 -2392 2912 2920 -2616 -2816 2824 -2656 -2956 -2872 -2864 -2448 2292 -3208 -2292 -2624 -3204 -2276 -2400 -2912 2872 2560 -2440 -2920 2312 -2664 2960 2608 3008 2604 -2816 2948 -3088 -2944 -2488 -2920 -2872 2956 2216 2916 -2960 -2872 -2396 -2816 2692 2260 -3108 -3116 -2744 2960 -3168 -3208 -3108 -2492 -2904 -2256 -2228 2920 -2744 -2912 -2872 -2660 -3168 -2740 2876 -2828 -2216 -3108 2784 -2904 -2872 -2448 -3168 -2524 -2352 2816 -3040 3016 -2816 2292 -2436 -2392 2660 -2448 -2704 -2784 2628 -2980 -2512