Name | csp/fapp/fapp33/ normalized-fapp33-0650-3.xml |
MD5SUM | 0a9f1ff1ab9407d2449a296e69817edc |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 39 |
Best CPU time to get the best result obtained on this benchmark | 3600.06 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112885 | MSAT (TO) | 39 | 3600.06 | 3632.62 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112886 | MSAT (TO) | 87 | 3600.09 | 3626.92 |
Sugar v1.13+minisat | 1112890 | ? | 310.04 | 318.444 | |
Sugar++ v1.13+minisat-inc | 1112889 | ? | 320.098 | 329.559 | |
AbsconMax 112 pc-w | 1112887 | ? | 457.915 | 460.125 | |
AbsconMax 112 pc-d | 1112888 | ? | 475.987 | 477.474 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Number of falsified constraints: 393132 -2956 -3168 -2548 -3204 3168 2256 -2872 -3116 -2220 2248 2396 -2252 -3064 2264 -2424 2744 -2640 -2260 -2916 -2956 -2804 2964 -2912 2680 -2932 -3208 -2956 -3136 2700 2580 -2252 -2792 -2932 2496 -2488 -2912 3004 -2232 2272 -2224 -2444 2860 2744 2508 2588 2472 2856 3004 -2288 2880 3208 -2264 -3036 3208 -2296 3200 -2608 2228 2700 3084 -2256 3136 -2224 2488 2956 -2596 2232 2856 -2680 -2880 -3200 2304 2488 3168 -2456 -2932 2708 -3060 -3168 -2896 -2692 -2416 -3164 -2972 2292 -2448 -2916 -3008 2216 2488 -2244 -2996 -2996 2264 2736 2260 -2268 2956 -3012 2976 -3012 2412 -2820 -3044 2556 -2328 -2372 -2752 -2696 -2952 -2956 2840 3160 -2952 -2448 2252 2452 2780 -3100 3092 -2396 2292 -2772 -2484 3148 -2956 3060 -2872 -2448 2328 -3048 3168 2956 2920 -2592 -3124 2740 -2872 -2916 -2572 -2256 -3172 2912 2288 -3040 -2620 -3052 -2668 -3168 -2448 -2404 3068 2996 -2964 -2960 -2956 -3016 -2440 3208 -3160 3004 -3068 2216 3204 -2216 2732 2224 -2288 2264 3068 -2620 2488 -2456 2492 2956 3156 2820 3176 -3108 -2728 3140 2284 -2540 3068 -2304 2900 -3204 2684 2708 -2972 -2276 2976 -3208 -2620 -2536 -2628 -2328 2520 -2344 -3108 -2352 -2976 2916 -3068 -2688 -2448 2924 2236 -3108 -2776 -2960 -2620 -2960 -3208 2996 -2772 2900 -2584 2976 2348 2912 2780 -3108 -2292 -2384 -2932 2844 -2448 2328 -2252 2308 -2684 2624 2864 -2996 2912 2844 -2328 3168 -2772 3068 2308 -2916 -2412 2448 -2292 -2312 3108 -2916 2568 2868 -2816 3176 2604 2516 -3092 2732 3004 2344 -2684 2784 2400 2452 -2996 2268 -2288 -2264 -3164 2460 2784 2860 3068 -2240 -2256 2276 -2628 -2724 2416 -2956 2916 2916 -2488 -2956 2992 2708 -2272 2912 -2256 3208 3132 -2876 2940 -2892 2804 -2660 -3128 3068 2880 -2308 -2216 -2216 2528 -2732 -2956 -2840 2920 -2872 -3104 -2932 -2232 -2996 -2688 2420 -2620 -2464 2936 -3008 3136 -2728 3168 -3068 -3208 3068 2824 -3148 -3208 2636 3120 2564 -3200 -2872 2732 -2748 2260 3044 -2912 -2328 -2256 -2488 -2660 2956 2872 -3104 2856 -2996 2860 -2356 -2412 2488 3052 -2956 3000 -3080 -2912 -2976 -2480 2256 -3200 2656 2440 -2368 3000 2352 2828 -2448 -2644 -2536 2604 -2404 2668 2996 -3208 2216 -3168 2444 -2224 2748 -2264 2480 2784 -2744 2892 -3188 3044 -2912 2328 2936 -3076 -2488 2996 2532 -2320 -2872 2644 2320 2996 -2872 2712 -2668 2500 2860 -2304 -2388 -2604 -2220 3168 -3020 2448 2688 2852 -2772 2288 -2956 -2912 2220 -2588 2728 -3120 2856 -2696 2912 -3016 2900 2460 -2956 3176 -2872 2956 -2916 -2816 -3208 -2400 2856 2912 -2884 2844 3108 2644 3044 -2412 -2956 -2872 -2872 2300 2380 2448 -2956 3168 -2884 2784 2360 -2488 2916 -2964 -3108 3168 -2996 -2260 2912 3164 -2972 -2412 2456 2788 2256 3032 -3168 -2912 -2512 -3020 -2256 -2740 2840 2548 2780 2844 3020 3164 -3068 2912 -2960 3096 -2584 2820 2752 2760 2828 -2656 2996 -2968 -3108 2696 -3000 2668 2952 -2916 2956 -2920 -2940 -2856 -2908 -2896 -2724 -2264 -3064 2288 2936 -2220 2728 3176 2236 2792 -2956 -2972 -2608 -2488 2744 -2956 -2372 3208 2976 -2932 -3108 -2972 -2956 -2912 -3160 2688 3080 -2244 3196 2916 -3068 -2916 -3168 2820 -2644 2720 2464 -3080 2368 2916 2216 2360 2640 -2600 -2356 -2912 2936 -2304 2288 3052 -3040 -2956 3160 2252 -3128 -2452 2216 2224 2448 -2372 -2912 -2916 2628 -2784 -3136 2648 -2956 -2872 -2860 -2448 2292 3128 -2312 2624 -3204 2228 2400 -2912 2872 2568 2440 2916 2332 2656 -2956 2580 -3004 -2604 2780 -2980 3136 2920 2336 2916 -2872 -2956 -2216 2916 2956 -2872 -2424 -2816 -2680 -2244 -3108 3028 -2744 -2956 -3164 -3208 3108 2488 2880 2220 -2216 2916 -2740 2912 2872 2660 3168 2752 2872 2812 2216 3108 -2740 -2900 2872 -2296 -3168 2256 2332 -2816 -3040 -3016 -2816 -2292 2428 2420 -2660 -2448 2708 2788 -2640 -2980 2452