CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
csp/fapp/fapp34/
normalized-fapp34-0750-4.xml

Jump to solvers results

General information on the benchmark

Namecsp/fapp/fapp34/
normalized-fapp34-0750-4.xml
MD5SUM1196fad89b5a5a4f355ab65ef889a576
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 benchmark28.6446
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Abscon 112v4 AC1085719SAT 28.6446 28.7327
Abscon 112v4 ESAC1085720SAT 28.7416 29.024
cpHydra k_401085722SAT 85.8569 87.073
cpHydra k_101085721SAT 87.9846 89.1549
Concrete + CPS4J 2008-05-301085704SAT 165.003 165.129
SAT4J CSP 2008-06-131085707? 0.888864 1.03365
galac E1085714? (problem) 0.601907 0.68133
galac M1085713? (problem) 0.614906 0.686429
Sugar v1.13+minisat1085709? (MO) 221.313 225.342
Sugar v1.13+picosat1085708? (MO) 401.417 407.05
casper zito1085718? (TO) 1800.02 1808.42
MDG-noprobe 2008-06-271085706? (TO) 1800.05 1801.31
casper zao1085717? (TO) 1800.06 1810.05
bpsolver 2008-06-271085710? (TO) 1800.06 1804.71
Concrete + CSP4J - Tabu Engine 2008-05-301085702? (TO) 1800.06 1817.12
Mistral-prime 1.3131085716? (TO) 1800.06 1808.91
Mistral-option 1.3141085715? (TO) 1800.06 1814.12
Concrete + CSP4J - WMC Engine 2008-05-301085703? (TO) 1800.07 1809.12
MDG-probe 2008-06-271085705? (TO) 1800.08 1810.21
choco2_impwdeg 2008-06-261085711? (TO) 1800.17 1816.86
choco2_dwdeg 2008-06-261085712? (TO) 1800.23 1814.26
Minion/Tailor 2008-07-041105590Wrong UNSAT 260.887 261.047

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:
-2512 -2558 -3090 -3312 -3352 -3130 2554 -2478 2992 -2758 -2624 -2576 2588 -2758 -3036 -2616 -3044 2562 -3142 -2620 -2584 -2564 2564 -2518
-3044 -2562 3272 -3352 2616 2616 -2828 2756 -2578 -2854 3150 -2482 -3102 3302 -3096 -3352 -2788 -2796 -2996 -3076 -2788 -2604 3352 -2732
2582 -2788 -2518 -3190 -2890 -3150 -2604 3012 -2798 -2506 -2584 -2518 -2568 2576 2796 2784 -2828 -2478 -3150 -2828 -2558 -3038 2916 -3254
-2604 -2518 -3312 -2590 -3190 -3004 -2624 -3150 -2758 2814 3102 -2438 -2828 2612 -3218 -3044 3188 -2854 -2828 -2478 2686 -2574 -2478 -2788
-3004 -3102 -3056 -2562 -3352 -2930 -3312 -3104 -3002 -3044 -3004 -2982 -3150 2758 -2568 -2558 -2356 -2628 -3052 -3004 -2828 -2518 3144
-2478 -2408 3038 3152 3192 -3038 3312 -2992 2608 -3044 -2602 -3102 2558 -3312 -3150 -2602 -3150 2772 -3016 -2618 -3076 -2604 3144 -3004 3032
-2704 -2518 2604 -2758 -2540 3126 -2478 2998 -3190 -2758 2976 -2828 -2578 2584 -2478 -3008 -2620 -3150 -3150 -3148 3142 -2564 -2596 -2828
-2478 -2618 3190 -3150 -2518 -2618 -2542 2906 -3110 -2518 2598 2640 -2784 -2734 2726 3150 -2570 -3058 -2518 -2478 2788 -3142 -2478 -2578
2980 -2786 -2374 -3334 2628 2968 2992 -3150 -3150 -2628 -3142 -2558 -3044 -2362 -2518 -3352 -2680 -2952 -3190 -3352 -2614 -2522 -3312 -2608
-2518 -3190 -2798 -2558 -2828 -2942 -2788 2678 2602 -2578 2628 2404 -3150 -2478 -2558 -3190 -3062 -2854 2938 -2794 -2744 -2494 -2978 2818
-2828 -2828 -2584 -2556 3258 3228 -3142 2564 2620 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2402 2734 -3004 2938 -2828 -3190 -2624
-2590 -3256 -2564 3294 -2654 -2788 -2602 -3352 -2788 2396 3056 -2518 -2374 -3004 -3142 -2788 -2588 -2518 3020 -3144 -3044 -3352 -2518 2920
3214 -2858 -2766 -3190 2726 -3312 -3036 -3004 -2398 -2518 -3170 -3018 -3102 2620 2828 3258 2692 -2628 -3150 -3004 -3044 -3004 3136 -2628
-3190 -2558 -2584 -3190 -3190 -2582 2982 -3268 -3004 2356 -3312 2588 -3190 -2356 2876 3016 -3340 2788 -2678 -3004 -2516 -2586 3084 -2632
3218 3148 -3078 -2758 -2558 -2558 -3150 3148 3124 -2744 2756 -2758 -2826 3312 -2926 -2758 -2478 -2566 -3142 -2398 -3150 -3190 -2978 -3144
-3228 2356 -3106 -2624 -2584 -2798 -2620 -3004 -3280 -2518 -2626 -2518 3352 -2614 2364 -2952 2950 -3190 -2586 -2624 -2626 -2582 -3216 3342
2824 -3190 -2788 -2620 -2798 2676 -2832 -3312 -2518 -2610 -2580 2356 -3142 -3352 -3102 -2588 -3038 -2652 -2580 -2828 2818 -3352 -2718 -2356
-2620 -2710 -2798 -3044 -2368 2788 -3028 -2518 -3192 -3150 3300 -3044 -2500 -2576 -2628 -2562 -3004 -2626 -3004 -2516 2938 -3104 -2562 -2998
-2622 -2788 2960 -2558 -2546 -2558 2732 -3044 2544 -2788 -2588 -3150 -2866 -2478 2420 -3004 -2630 2942 -2798 -2960 -2788 3150 2396 -3044
2824 -3076 -2794 2580 -3312 -3190 2596 -3312 -2694 -3312 -3104 -2580 -2774 -2576 -2784 -2518 -3142 -2478 -2602 -2798 -2592 -2952 -2996 3000
-3190 -2518 -3352 -2396 2916 -2580 3016 -2638 -2562 2578 -2798 2814 3022 -2588 -3056 -3150 3142 -3004 -2898 -2610 -2494 2966 2876 -2720
-2602 -2828 -2758 -2518 2758 -2518 3312 -3312 -3312 -2604 -3036 2356 2946 -2518 -2754 3170 -2798 2814 -3102 -2618 -3004 -2798 -3102 2954
-3044 3102 -3312 2716 -2584 -2408 2988 -2828 -2518 -3190 -2758 -2630 -2788 2396 -2758 -2518 -3150 -3312 3146 -2604 -2562 3150 -2518 -3190
-2518 -2458 3352 -3004 -2788 2564 -2758 -2570 -2828 -3150 -2504 2520 -2396 -2622 2602 -2798 -2828 -2478 -2558 -3044 -2518 -3142 -2556 -2518
2558 2514 -2396 -2580 2618 3072 -3044 -3110 2606 -2518 -2576 -2990 -2558 -3240 -2438 3020 -2454 2396 -2518 -2620 2516 -2518 -3142 -2566
-3150 -3166 -2626 3092 3042 -2994 -2478 -2788 -2886 -3060 -2626 2778 -2788 2556 -2478 2926 -2758 -2518 -2556 -2478 -2478 -2620 -3004 -2586
-2604 -3104 -2518 -2828 -2580 -2798 -3202 -3102 2556 -2758 2368 -2618 -3242 -2786 -2518 -2518 2976 -2670 -3104 -3150 -2624 2568 -2518 -2582
-2758 -2828 -2478 -2578 -3044 -2608 3234 2580 -3142 -2562 -2754 -2828 -3190 2972 -2580 -3144 -2624 -2586 -3152 -3044 -2518 -3078 -3352 2858
-2788 2396 -2828 -2602 -3044 3188 -2798 -2622 -2580 -3102 -3352 2552 -3038 -2956 -2828 2380 2792 2728 -2788 -2768 2606 3182 -3044 -2616
-2798 3188 -2454 -2798 3036 2502 -2788 3016 -2498 -3142 3130 -3108 -3102 -2558 -2600 -2478 -2622 -2576 3016 -2478 -3190 -3078 3190 -2616
2414 -3044 -2798 -2826 -2518 3274 -2564 -3352 -3312 2898 2356 -2718 -2586 -2622 -2788 2906 -2564 -2798 -3352 -2414 -3190 -2518 -2478 -2588
-2460 -3102 -2582 -2518 -2478 -2478