CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp33/
normalized-fapp33-0650-10.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp33/
normalized-fapp33-0650-10.xml
MD5SUM68a6e67c26555a55d1774467340b6ea2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark29.6525
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints8684
Maximum constraint arity2
Maximum domain size498
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8684
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 ESAC1086434SAT 29.6525 29.7198
Abscon 112v4 AC1086433SAT 30.0274 30.3262
cpHydra k_101086435SAT 70.3423 70.8175
cpHydra k_401086436SAT 71.3002 71.924
SAT4J CSP 2008-06-131086421? 550.293 553.142
galac E1086428? (problem) 0.591909 0.895796
galac M1086427? (problem) 0.608906 0.815035
Sugar v1.13+minisat1086423? (MO) 200.797 220.024
Sugar v1.13+picosat1086422? (MO) 357.3 368.935
Mistral-prime 1.3131086430? (TO) 1800.01 1812.21
Concrete + CSP4J - WMC Engine 2008-05-301086417? (TO) 1800.01 1808.32
Concrete + CPS4J 2008-05-301086418? (TO) 1800.01 1814.92
casper zito1086432? (TO) 1800.04 1812.41
bpsolver 2008-06-271086424? (TO) 1800.05 1814.01
MDG-noprobe 2008-06-271086420? (TO) 1800.05 1805.21
Mistral-option 1.3141086429? (TO) 1800.06 1803.62
Concrete + CSP4J - Tabu Engine 2008-05-301086416? (TO) 1800.06 1806.02
Minion/Tailor 2008-07-041105586? (TO) 1800.09 1804.02
MDG-probe 2008-06-271086419? (TO) 1800.1 1810.01
casper zao1086431? (TO) 1800.11 1811.06
choco2_impwdeg 2008-06-261086425? (TO) 1800.16 1813.62
choco2_dwdeg 2008-06-261086426? (TO) 1800.25 1807.95

Additionnal information

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