Name | csp/fapp/fapp32/ normalized-fapp32-0550-1.xml |
MD5SUM | 5b6f3d81a66e437062b2495198dba4e6 |
Bench Category | 2-ARY-INT (binary constraints in intension) |
Best result obtained on this benchmark | MSAT TO |
Best Number of falsified constraints | 52 |
Best CPU time to get the best result obtained on this benchmark | 3600.07 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 550 |
Number of constraints | 9461 |
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 | 9461 |
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 | 1112927 | MSAT (TO) | 52 | 3600.07 | 3621.92 |
Concrete + CSP4J - Tabu Engine 2008-05-30 | 1112928 | MSAT (TO) | 127 | 3600.1 | 3609.92 |
AbsconMax 112 pc-w | 1112929 | ? | 560.922 | 567.407 | |
AbsconMax 112 pc-d | 1112930 | ? | 588.596 | 594.3 | |
Sugar v1.13+minisat | 1112932 | ? | 607.339 | 615.067 | |
Sugar++ v1.13+minisat-inc | 1112931 | ? | 635.112 | 641.424 |
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: 523864 2456 -2140 -3480 -4004 -2808 3500 -2804 -2844 -2224 2832 3160 -4100 2592 -2844 2224 3828 -3324 3732 -2620 -2892 -3640 -3848 -2160 -3396 -3260 4100 2984 3888 2164 -4100 -2840 3456 -2480 -3464 -2164 -3060 3184 -2744 -2660 3860 2968 2768 4084 2164 2840 -3692 -2232 3488 -2264 4100 -2616 -3928 -2108 -2752 -2884 3668 4060 -3804 3400 -2884 2952 3876 -3932 -3044 -2472 -3424 -2860 -2500 -2432 2620 -2660 -2460 -2264 -2152 2440 2792 -2672 -2980 -2116 4044 3220 -2412 -2148 -2268 -2292 3820 -2712 -3328 2124 -3400 -3928 3092 -2660 2164 -3360 -3088 -2476 3124 -2880 -2968 2880 -2436 -2792 3932 3992 -2660 -4092 -2148 -3996 3416 3952 -2844 -2224 4076 2136 -3056 3892 -2272 -3400 -3360 2836 2140 -4060 3464 -3804 -2660 -2644 -2844 2116 3928 3032 -2156 -2188 -2108 2856 -3400 2108 2292 -2620 3644 -2884 -2224 2776 -2620 -2224 -3792 4004 -4060 -4100 -2632 -2660 2136 2168 2764 -4040 2820 2788 3692 -3964 -2632 -3764 2948 -2148 -3064 -2156 -3400 -2252 -2952 3468 -4032 -3636 3692 -2664 -2784 3360 -3360 -3824 -3500 2776 -3724 -2152 -2756 2852 -2424 -2660 -3880 3964 3220 -3360 -4096 -2808 3232 -2620 2876 -2884 3200 3508 3376 2124 3924 -2840 -2844 -4056 -2264 2572 -3284 2108 -2844 2756 -2836 -3284 2580 -2264 -3600 -3288 2876 2480 -2148 -2164 3832 4100 -2308 4056 -2264 -2220 -3540 -3964 3104 -4096 -3260 -3596 -3300 -2124 4048 -2620 -2176 3144 2200 -3528 2992 -3020 -3732 3732 -2844 3096 -3320 -2884 -3972 2776 3764 -3916 3468 3764 3796 2176 -2476 -2168 3280 -2880 -3400 2620 2652 -3360 3076 -2196 -2620 3952 2940 -3864 3368 2108 -3360 3684 -3324 2712 3136 2432 -3280 2516 -3408 -2784 -2884 2504 2252 -2884 4080 -2272 3540 2412 -3888 3400 4044 3372 -4060 2476 4096 -2128 -4096 -3972 2852 -2828 2376 -2264 2832 3164 4052 -3360 4036 -2844 3084 2652 3284 4088 3024 -2260 -4100 2152 -2516 3400 -2620 3924 3020 2980 -2480 -3328 2688 -3836 -2224 -3400 3164 2156 2980 3240 -3360 -2656 2908 2744 -2496 -2180 -3360 -2788 2384 -3020 3596 -2816 -2308 -2684 3636 -2796 -2228 3024 2180 -2264 3316 2204 -4100 -2228 -2264 -2884 -3284 -3992 -3400 -3340 -3992 -2156 -2312 -2884 3456 -3868 3808 -2660 2252 -2816 -3132 2164 -2224 2148 2608 2712 -2112 2672 -2264 -3400 -3732 3324 4040 -3400 -2844 -3932 3540 3048 2148 -2264 -2224 -3400 2728 -2228 -2112 3524 3240 2796 3356 4060 3324 4080 -2416 -2116 2612 -2660 3144 2540 3952 -2224 3920 -2844 -3400 -4080 -3920 -3440 -2224 2272 -4084 -3808 -2292 -2520 2160 -2752 2908 -3288 3184 -4072 -3360 3124 -2876 -3356 2464 2832 2124 -2836 -3508 3004 3024 4100 2252 3096 3880 -2916 -3360 2768 3964 -4048 -4076 -2828 -3708 2112 2648 -2816 -2268 2816 -3360 3416 3064 2212 -2832 2264 -3192 4004 -3400 2992 -4060 3848 -2136 3884 -2552 -2620 -2268 -2264 -3968 -4096 -2224 2268 -3200 3904 3332 -2872 3484 -2692 -2264 -4100 2124 -3852 -2472 3036 -2624 -2648 -2452 -2892 2884 2592 2608 3144 -2268 3912 2124 2456 -3360 -4036 4036 4088 2480 -2884 -3684 -2232 -2844 2948 2928 3992 -2992 -2648 -2200 -2872 -3952 2776 -2660 4008 -3968 -2224 -3360 -2612 -3500 2128 -3400 -4056 -2108 3008 -2132 -2440 -3400 3424 2816 -3360 4060 3692 3152 -3644 -2224 3892 -2176 3192