Name | csp/fapp/fapp34/ normalized-fapp34-0750-0.xml |
MD5SUM | 701805f3dd433f8e5a195a0325c2f865 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 36 |
Best CPU time to get the best result obtained on this benchmark | 3600.03 |
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 | Number of falsified constraints | CPU time | Wall clock time |
---|---|---|---|---|---|
Concrete + CSP4J - MCRW Engine 2008-05-30 | 1112789 | MSAT (TO) | 36 | 3600.03 | 3632.22 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112790 | MSAT (TO) | 77 | 3600.06 | 3614.82 |
Sugar v1.13+minisat | 1112794 | ? | 336.024 | 342.761 | |
Sugar++ v1.13+minisat-inc | 1112793 | ? | 357.176 | 363.214 | |
AbsconMax 112 pc-w | 1112791 | ? | 499.027 | 503.931 | |
AbsconMax 112 pc-d | 1112792 | ? | 503.924 | 506.678 |
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: 36-2514 -2554 -3240 3312 3254 -3200 2556 -2500 -2990 2754 -2626 -2576 -2584 -2758 3034 -2616 3044 2562 3144 2616 -2584 -2562 -2562 -2518 -3044 2564 3272 3346 2616 -2616 2828 2758 2576 -2852 3142 -2494 -3102 3352 -3096 -3352 2784 -2798 2994 -3070 2788 2602 2990 2732 2576 -2788 -2518 3190 2892 3150 2602 3010 -2798 -2490 -2586 -2518 -2562 -2576 2818 2784 -2828 -2478 -3150 -2828 2558 3038 2918 -3230 2602 -2518 3294 -2584 3190 -3004 -2624 -3150 2758 2698 -3134 -2436 2828 2614 3352 3038 -3250 -2856 -2828 -2478 2688 2358 -2478 -2786 -3004 -3102 3056 2562 3336 2932 -3304 -3106 -3004 -3044 -3004 -2982 -3150 -2758 -2562 2548 2488 -2624 -3064 -3004 2828 2518 -3142 2478 -2400 3350 3194 3234 3038 3292 -2992 -2448 3044 -2602 -3102 -2558 3312 3148 -2602 -3150 2772 -3016 -2616 -3074 -2602 3168 3002 3120 -2700 2518 -2602 -2758 -2540 3344 -2478 3000 -3190 2758 -3008 2828 -2576 2584 -2478 -3010 2616 3148 -3150 -3148 3174 2562 2438 -2828 -2478 -2616 -3190 -3150 -2514 -2618 2396 2902 -3102 -2518 -2584 -2630 -2784 -2718 2728 -3150 2426 -3052 -2518 -2478 -2788 -3142 2478 -2576 3004 -2788 -2364 -3350 2626 2970 -2990 3150 3142 -2624 -3142 -2544 -3044 -2356 -2518 -3214 2678 -2950 3190 3326 2594 2534 3254 -2602 -2508 3190 -2798 2558 2828 -2942 -2788 -2678 2604 -2578 -2624 2396 -3150 -2478 2558 -3190 -3060 -2852 2934 -2798 2744 -2368 -2974 2820 -2826 -2828 2440 -2398 -3290 3290 -3142 -2562 -2616 -3224 -3142 -2518 -2368 -2478 2478 -2616 -3102 -2396 2408 -3004 2934 -2828 -3190 -2624 -2584 3278 -2562 -3310 -2374 -2788 -2602 -3352 -2788 2372 3056 -2518 2358 -3004 -3180 -2788 -2586 -2518 3044 -3146 3044 -3352 -2510 2918 3270 2850 2768 -3190 2728 3312 -3036 -2998 -2396 -2518 -3296 -3012 3102 2616 2828 3312 2394 -2624 3150 3002 3042 -3004 -3136 2624 -3182 -2558 -2584 -3190 3190 -2576 2984 -3234 3004 2412 3308 -2584 -3188 2360 2878 -3042 3350 2788 -2678 -3004 -2510 -2584 3312 2624 -3330 3172 3078 -2758 -2558 -2558 -3170 -3142 -3272 2740 -2370 2758 -2828 3348 2922 2758 2478 -2562 3142 -2396 -3150 -3190 -2976 -3142 -3194 -2356 -3102 -2624 -2584 -2798 -2616 -3004 3256 -2518 -2624 -2518 3334 -2398 2356 -2950 -2950 -3190 -2584 -2624 -2624 2576 3238 3352 2824 -3190 -2788 -2618 2798 2676 2834 -3298 2518 -2602 -2576 2402 -3176 3298 3136 -2584 3038 -2654 2576 -2828 2826 -3352 2718 -2356 -2616 -2708 -2798 -3044 2360 -2788 3044 -2540 -3244 -3150 3310 -3044 -2402 -2576 -2624 2562 -3004 -2624 3004 2518 2936 3128 -2562 3004 -2616 -2788 3302 -2558 2530 2548 2732 -3044 -2558 2788 2584 3150 2854 -2478 2360 3002 -2624 2944 2798 -2958 -2788 3150 2396 -3044 -2828 -3076 -2798 2576 3312 3190 2598 -3296 -2678 -3030 3130 -2578 -2448 2576 -2788 -2518 -3146 -2478 -2602 -2798 2584 2952 -2996 -3342 3190 -2518 -3344 2364 2932 -2576 -3210 -2624 -2562 -2576 -2798 2816 3020 2584 3082 -3150 -3150 3004 2890 2386 2486 2966 3336 -2718 2602 2828 2758 -2518 2758 -2508 3306 -3286 -3258 -2602 -3036 2356 2942 -2504 -2758 3184 -2798 2812 -3104 -2616 -3004 -2798 -3102 2952 3042 -3106 -3312 2716 -2584 -2396 -3004 -2828 2518 3190 -2758 2624 -2786 2396 -2758 -2518 3150 -3294 -3142 -2602 -2562 -3166 2526 3190 -2518 2398 -3352 -3004 -2788 2396 -2758 -2562 -2828 -3150 -2518 2408 -2448 2618 -2602 -2798 -2824 -2478 -2558 -3044 -2518 3142 -2558 -2518 -2558 -2516 2362 -2580 -2616 3080 -3044 -3130 -2602 2518 -2576 -2990 -2558 3216 -2436 3022 -2446 2396 -2518 -2616 -2518 -2518 -3142 -2562 -3150 -3304 -2626 3104 -3044 -2992 2478 2788 2882 -3062 2624 2780 -2788 -2558 -2478 2926 -2758 2518 2558 -2478 -2486 -2616 -3004 -2586 2356 -3102 2502 -2828 2576 2798 3200 -3102 2550 -2758 2356 2616 3240 -2788 -2518 2518 3286 2668 -3102 -3150 -2400 -2408 -2518 -2576 -2758 -2828 -2478 -2576 -3044 2602 -3304 -2576 3142 -2562 -2758 -2828 -3190 2970 -2576 -3170 -2624 2584 3204 -3044 2518 3078 3338 2866 -2788 -2400 -2746 -2602 3044 3212 -2798 -2616 -2576 -3102 3332 -2554 -3040 2954 2828 -2356 2794 2730 -2788 2770 -2602 -3190 -3042 -2616 -2798 -3188 2408 2798 -3030 2502 -2788 3246 2358 -3142 3256 -3102 3102 -2550 2590 2478 -2616 -2576 3016 -2478 -3190 -3078 -3188 -2616 -2404 -3044 -2794 -2828 -2518 -3344 -2562 -3348 3312 2894 -2404 2718 -2584 -2616 -2788 2894 -2562 -2798 -3308 2398 3190 2518 -2478 -2584 -2442 3140 -2578 -2518 -2478 -2478