Name | csp/fapp/fapp09/ normalized-fapp09-0800-8.xml |
MD5SUM | 76623dd14fd0d4ce7a960393ffa043ab |
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 | 13.9359 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 8975 |
Maximum constraint arity | 2 |
Maximum domain size | 350 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8975 |
Global constraints used (with number of constraints) |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2656 -2552 -2128 2540 2636 -2548 -2512 -2156 -2624 -2716 2480 -2632 -2212 -2300 -2612 2492 -2696 2200 -2272 -2576 -2552 -2520 -2600 -2232 2400 -2572 -2024 -2648 2568 -2676 -2584 -2192 -2168 -2648 2320 -2300 -2128 -2660 -2652 -2460 -2388 2640 2248 -2716 -2656 -2360 -2364 -2492 -2616 -2080 -2060 2560 -2512 -2028 2656 2224 2304 2604 2276 2204 -2352 -2228 2444 -2192 -2696 -2340 -2020 2464 -2552 2652 -2528 -2296 2216 -2340 -2264 -2216 -2184 2432 -2628 -2680 -2428 -2648 2716 -2268 2540 2576 2088 -2640 -2140 -2340 -2584 -2624 2304 -2352 -2200 -2672 -2620 2588 -2184 -2608 -2060 -2656 -2692 -2240 -2704 -2588 -2592 -2280 -2364 -2628 -2528 2444 2192 -2704 -2596 2020 -2604 -2068 2208 -2352 -2620 -2460 2444 -2664 -2484 -2660 -2664 -2272 2020 -2552 -2564 2288 2504 -2652 -2168 2364 -2568 2588 -2680 -2344 2140 2164 -2260 -2628 2064 -2588 -2524 -2228 -2552 -2060 2556 -2088 -2704 -2148 2500 2344 -2656 -2672 -2704 -2648 -2648 -2640 -2640 2568 -2664 -2484 -2320 -2552 -2360 -2068 -2304 -2632 -2676 -2264 2252 -2496 -2440 -2660 -2272 -2584 -2484 2072 -2704 2500 2612 2380 -2184 -2636 -2264 -2080 -2440 -2224 -2580 -2664 -2308 -2444 -2656 -2208 -2540 2020 2600 -2704 -2372 2460 2540 -2300 -2048 -2108 -2648 -2324 -2192 -2568 2120 -2628 -2436 -2472 -2464 -2224 -2624 -2132 -2416 2144 -2580 -2280 -2076 -2360 -2320 -2572 2304 -2644 -2120 -2376 2604 -2600 -2604 -2488 -2232 -2120 -2256 2520 -2500 -2240 -2512 2320 2216 -2532 -2208 2472 -2304 -2696 -2220 -2704 -2592 -2544 2628 2256 -2560 -2512 -2352 -2060 -2360 2560 -2140 -2672 2664 -2568 -2616 2052 -2052 -2620 -2704 -2704 -2508 -2128 -2608 -2560 2364 2524 -2620 2180 -2508 -2488 2020 -2576 -2540 -2168 -2684 -2576 -2396 2416 -2568 -2656 -2592 -2264 -2540 -2632 -2504 -2640 -2596 -2592 -2448 -2380 -2392 -2360 -2616 2568 -2616 2516 -2696 2292 2216 -2560 2340 2588 -2520 -2500 2264 -2504 -2320 2400 -2588 -2224 -2640 -2224 -2640 -2608 2152 -2680 -2520 -2260 -2296 2552 -2380 -2704 2464 -2064 2220 -2684 -2632 -2300 -2076 2452 -2680 -2312 -2184 -2560 -2152 -2512 -2064 2548 2588 -2596 -2688 -2632 2268 -2676 -2092 -2276 -2100 -2424 -2504 -2424 -2680 2088 -2332 2372 -2704 -2544 -2524 2588 2184 -2428 -2504 -2484 -2676 -2160 -2524 -2312 2564 -2580 -2348 2528 -2500 -2620 -2264 -2652 -2220 -2500 2132 -2624 -2376 -2692 2384 -2600 -2364 2616 -2256 -2648 2288 2308 -2320 2076 -2136 2384 -2128 2424 -2648 -2500 -2296 -2544 2640 2300 -2664 2640 -2508 -2560 -2120 2500 -2404 -2660 -2636 -2680 -2620 2608 2648 -2452 -2428 2020 -2688 2616 -2640 -2184 -2132 2400 -2580 -2592 -2132 -2232 -2580 -2476 -2360 -2512 -2172 2412 2248 -2568 -2248 2664 -2680 -2540 -2124 2584 -2668 -2640 -2200 -2456 -2580 -2616 -2388 -2576 -2608 -2400 2096 2232 -2640 2608 -2260 2324 -2612 -2668 -2552 2340 -2608 -2664 2452 2516 -2560 -2324 -2024 -2696 -2272 -2260 -2612 2348 -2436 -2092 -2488 -2128 -2548 2060 -2616 -2628 2468 -2588 -2340 2468 -2400 -2664 2608 -2336 2404 -2512 -2524 -2504 -2540 2020 2224 -2640 2500 -2640 2716 2364 -2224 -2600 -2176 -2520 -2312 -2400 -2452 -2360 -2348 -2116 -2520 -2228 -2656 2384 -2656 -2312 -2460 -2528 -2404 2260 -2640 -2020 -2612 2648 -2716 -2684 -2484 2332 -2616 2376 -2616 -2628 -2168 -2676 2032 2572 -2472 -2592 2420 -2084 -2528 -2644 -2320 -2716 2080 -2684 2328 2556 -2216 2644 2324 -2588 -2336 2424 2160 -2288 -2592 -2412 -2340 -2212 2320 -2452 -2544 2092 -2404 2160 2596 -2428 2220 -2208 -2296 2560 -2440 -2464 -2200 2492 -2596 2496 -2440 -2496 2640 2388 -2688 -2648 -2524 -2468 -2276 -2312 2252 -2552 -2640 2116 -2328 -2548 -2508 2340 2484 -2640 -2300 -2656 -2688 -2400 -2568 -2236 -2404 -2060 -2332 2488 -2440 -2528 -2632 -2080 -2612 -2704 -2664 -2436 -2588 2492 -2628 -2696 -2608 -2552 -2424 -2580 -2320 -2620 2020 -2680 -2540 -2580 2120 2120 -2160 -2600 -2588 2232 -2644 -2452 -2656 -2488 -2688 -2592 -2264 -2544 2472 -2360 -2644 -2320 -2500 2192 -2540 2184 -2172 -2364 -2404 -2676 -2280 2568 -2456 -2160 -2616 -2040 -2600 -2512 -2292 -2616 -2520 -2336 -2544 -2160 2380 -2680 -2224 -2188 -2456 2264 -2144 2332 -2620 2092 -2660 -2168 2620 -2220 -2540 -2360 -2552 2144 -2336 -2644 -2424 2564 2212 2360 2152 2104 2240 2336 -2120 -2460 -2656 2528 -2300 -2144 -2092 -2696 2460 -2664 2288 2592 -2360 2468 -2672 2188 -2396 -2068 2236 -2420 2028 2080 -2060 2632 2100 2036 -2036 2576 -2364 2548 -2680 -2508 -2592 -2336 -2160 -2644 -2684 -2676 -2600 -2176 2324 -2260 -2608 -2572 -2168 2548 -2548 -2236 -2644 -2604 -2400 -2060 -2676 -2656 2716 -2512 -2060 -2628 2552 -2040 2600 2456 -2636 -2272 2608 -2672 -2660 2552 -2268 -2472 2492 -2600 -2644 -2504 -2548 -2524 2528 -2476 -2340 -2556 -2264 2280 -2484 -2660 -2628 -2664 2604 -2224 2360 -2688