Name | csp/fapp/fapp34/ normalized-fapp34-0750-10.xml |
MD5SUM | c2cac25a9d0eff8b4d5c2c7d14b32353 |
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.9604 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 750 |
Number of constraints | 8639 |
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 | 8639 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097748 | SAT | 29.9604 | 30.0623 |
Abscon 112v4 AC (complete) | 2097747 | SAT | 30.4514 | 30.7793 |
Concrete 2009-07-14 (complete) | 2083035 | SAT | 275.641 | 277.581 |
Sugar v1.14.6+picosat (complete) | 2083038 | SAT | 804.443 | 819.534 |
SAT4J CSP 2.1.1 (complete) | 2083032 | ? | 0.751884 | 0.829315 |
Concrete DC 2009-07-14 (complete) | 2083036 | ? | 324.231 | 327.09 |
bpsolver 09 (complete) | 2083042 | ? (exit code) | 66.6279 | 67.2166 |
Sugar v1.14.6+minisat (complete) | 2083039 | ? (MO) | 135.56 | 137.251 |
Mistral 1.545 (complete) | 2083041 | ? (TO) | 1800.11 | 1805.51 |
pcs 0.3.2 (complete) | 2083033 | ? (TO) | 1800.12 | 1801.45 |
pcs-restart 0.3.2 (complete) | 2083034 | ? (TO) | 1800.13 | 1812.45 |
Choco2.1.1b 2009-07-16 (complete) | 2116785 | ? (TO) | 1800.15 | 1815.98 |
Choco2.1.1 2009-06-10 (complete) | 2083037 | ? (TO) | 1800.19 | 1811.3 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2518 -2558 -3092 -3312 -3352 3132 -2552 -2478 2998 -2756 -2624 2586 -2590 -2758 3030 -2620 -3044 -2562 -3190 -2616 -2584 2568 2570 -2514 -3044 2566 3278 -3352 -2626 2616 -2828 2752 2576 -2852 -3110 -2478 -3108 -3302 -3096 -3352 -2788 -2792 -2996 -3076 -2788 -2610 3290 -2738 2586 -2788 -2518 -3190 -2888 -3150 -2604 3004 -2798 -2518 -2584 -2518 -2570 2580 2356 -2786 -2828 -2478 -3150 -2828 -2558 3038 2914 -3216 -2610 -2518 -3312 -2598 -3190 -3004 -2624 -3150 -2758 2816 -3102 -2436 -2828 2610 -3162 -3042 -3262 -2860 -2828 -2478 -2692 -2580 -2478 2778 -3004 -3102 -3060 -2566 -3352 -2928 -3312 -3106 3002 -3044 2994 -2982 -3150 -2758 -2562 -2558 -2356 2630 -3056 -3004 -2828 -2518 3144 -2478 -2422 -3040 3222 -3262 -3038 3312 -2994 -2610 -3044 -2602 -3102 -2558 3192 -3150 -2602 -3150 -2780 3020 -2618 -3070 -2610 -3154 -3004 3024 2708 -2518 2606 -2758 -2540 3126 -2478 2996 -3190 -2758 -2980 2826 -2596 2586 -2478 -3022 -2616 -3150 -3150 3130 3142 -2570 -2518 2824 -2478 -2616 -3190 -3150 -2518 -2620 -2538 2900 -3110 -2518 -2590 -2588 -2786 -2710 -2728 -3150 2356 -3062 -2518 -2478 -2788 -3148 -2478 -2578 -3004 2782 -2384 -3332 -2632 -2982 -2992 -3150 -3150 -2632 -3142 -2558 -3044 -2356 -2518 -3352 2680 -2952 -3190 -3352 -2612 -2518 -3312 -2610 -2518 -3190 -2798 2554 2832 2942 -2786 -2680 -2606 -2580 -2630 -2396 -3150 -2478 -2558 -3190 -3312 -2856 2938 -2798 -2746 -2540 -2974 2822 2818 -2828 2588 -2558 3210 -3302 -3142 -2564 2594 -3288 -3142 -2518 2478 -2478 -2478 -2616 -3102 -2396 -2736 -3004 2934 -2828 -3190 2624 2584 -3256 -2570 3292 -2652 -2788 -2602 -3352 -2784 2396 3060 -2518 -2372 -3004 -3142 -2788 -2592 -2518 -3044 -3146 -3036 -3232 -2518 2910 -3256 2848 -2768 -3190 -2732 -3312 -3036 -3002 -2396 -2518 -3166 -3022 -3102 -2628 -2828 3202 -2698 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3150 -2558 -2586 -3190 -3190 -2586 -2982 3182 2996 2356 -3312 -2592 -3190 -2356 2874 3088 -3346 -2792 -2678 -3004 -2514 2596 3082 -2648 3170 3164 -3078 -2758 -2558 -2558 -3150 -3142 3122 -2748 -2396 -2758 -2822 3312 -2920 -2758 -2478 -2568 -3150 -2408 -3150 3190 -2978 3142 3142 2356 3108 -2584 2584 -2798 -2630 -3004 -3200 -2518 -2630 -2518 -3352 -2620 2356 -2958 2950 -3190 -2590 -2626 -2636 -2586 -3216 3342 2826 -3190 -2786 -2632 2796 -2678 -2832 -3312 -2518 -2614 -2634 2356 3166 -3352 -3126 2588 -3038 -2650 -2576 -2828 -2834 -3352 -2720 -2356 -2616 -2712 -2798 -3044 -2382 2782 -3044 -2518 -3284 3148 -3306 3044 -2538 -2576 -2628 -2574 -3004 -2626 -3004 -2514 -2938 -3114 2564 -3000 -2626 -2788 2950 -2558 -2558 -2558 -2740 3034 -2558 -2788 2590 -3150 -2868 -2478 2412 -3004 -2624 2942 -2798 2950 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 -3312 -3190 2588 -3312 2670 -3330 -3102 -2592 -2776 -2580 -2788 -2518 -3144 -2478 -2606 -2798 2608 -2954 -2996 2990 3188 -2518 -3352 -2396 2920 -2582 -3020 -2630 -2562 -2586 2794 -2820 3352 -2592 -3048 -3150 -3150 2994 -2888 -2396 -2490 2964 -2880 -2720 -2604 2828 -2758 -2518 -2758 -2518 3312 -3312 -3312 -2610 -3036 -2356 2940 -2518 -2758 3248 -2798 2812 -3150 -2622 -3004 -2798 -3110 -2960 -3044 -3104 -3238 -2718 -2624 -2404 -3004 -2828 -2518 -3190 -2758 -2638 -2780 2396 -2756 -2518 -3150 -3312 -3148 -2608 -2562 -3150 -2518 -3190 -2518 -2454 -3352 3004 -2788 2566 -2758 -2574 -2828 -3150 -2518 2518 -2396 -2618 -2614 -2798 -2828 -2478 -2558 -3044 -2518 -3146 -2554 2518 -2558 -2512 -2396 -2580 2636 3064 -3044 -3110 2608 -2518 -2576 -2990 -2558 -3240 -2448 -3020 -2450 2396 -2518 -2622 -2514 -2518 -3142 -2568 -3150 -3166 -2638 -3096 -3042 3000 -2478 -2788 2880 -3060 -2630 -2782 -2788 -2554 -2478 2924 -2754 -2518 2548 -2478 -2478 2622 -3004 -2598 -2606 -3104 -2518 -2828 -2576 -2798 -3202 -3102 2554 -2758 -2364 -2626 -3242 -2788 -2518 -2518 2962 -2672 -3102 -3150 2628 -2570 -2518 2576 -2758 2822 -2478 -2582 -3044 -2602 -3352 2590 -3142 -2562 2758 -2826 -3190 2964 -2582 -3142 -2626 -2590 3244 -3044 -2518 -3078 -3352 2874 -2788 2396 -2740 -2602 3034 -3204 -2798 -2626 -2588 -3106 -3352 -2558 -3036 -2956 2820 -2372 2792 2742 -2788 -2782 2608 -3190 -3044 -2616 -2798 3170 -2500 -2798 -3036 2498 -2788 3002 -2494 -3142 3126 -3102 -3102 -2558 -2628 -2478 -2626 -2576 -3020 -2478 3190 -3078 -3190 2620 2424 -3044 2796 -2828 -2518 -3312 -2566 -3352 -3312 2898 2356 -2718 -2586 -2616 2780 2908 2570 -2798 -3352 -2412 -3190 -2518 -2478 -2590 2578 -3102 -2578 -2518 -2478 -2478