Name | csp/fapp/fapp09/ normalized-fapp09-0800-4.xml |
MD5SUM | fd291b2d849040dbdfa6434d5b702e4d |
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 | 32.3001 |
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:-2544 2600 2148 -2564 2704 2544 -2716 -2112 2564 -2676 2472 -2704 2200 -2224 -2640 -2628 -2696 2192 -2360 2568 2520 2488 2612 -2264 2512 2600 2148 -2472 -2500 -2676 2604 -2120 -2108 2628 2236 -2268 2432 2636 -2684 -2460 -2352 2676 -2208 2460 -2656 -2336 -2336 -2480 2600 2440 -2020 -2560 -2488 -2020 -2612 -2224 2220 2624 -2268 -2140 2340 2200 2392 -2148 -2696 -2360 2196 2492 -2488 -2696 -2476 -2268 -2200 -2264 2296 -2160 2272 2536 2628 -2680 2472 2648 -2716 -2248 -2516 2616 -2032 2636 2116 -2268 2580 -2624 2296 2456 -2104 -2636 -2596 2632 -2160 -2576 -2032 -2656 2616 -2252 -2704 2568 -2544 -2212 -2364 -2612 2640 2444 -2216 -2704 2552 2100 2604 2024 -2252 -2324 2620 -2504 -2280 2664 2484 -2608 -2664 2176 -2260 2528 -2540 -2240 -2580 2656 -2112 2300 2584 -2716 2636 2260 2340 -2100 2172 2624 2108 -2588 -2500 -2248 2528 -2060 2592 -2112 -2704 2124 -2560 -2328 2656 2648 2676 -2648 -2616 -2640 -2640 -2632 -2652 -2616 -2320 -2584 -2360 -2056 -2256 -2660 -2676 2220 -2212 -2432 2472 -2660 -2304 -2528 2532 -2032 2704 2464 -2588 -2320 -2260 2636 2256 2020 2404 -2200 -2596 2664 -2308 2448 -2684 2172 2484 2020 2552 -2644 -2292 -2432 -2532 -2208 2152 2064 2600 -2364 -2128 -2524 -2060 2588 -2148 -2476 -2444 2220 2620 -2020 -2420 -2108 2492 -2264 -2040 -2348 -2332 2560 2368 2616 -2160 -2380 -2676 -2688 2660 -2680 -2176 -2128 -2160 -2548 2392 -2232 2520 -2276 -2244 -2520 -2160 2516 -2304 2688 -2160 2688 -2500 -2492 -2660 -2228 -2560 -2528 2296 -2156 -2360 2648 -2080 2644 2676 2552 -2444 -2020 2020 2620 -2704 -2640 -2532 2072 2640 -2488 2336 -2616 2640 -2156 2512 2452 2020 -2704 2424 2212 2636 2576 2400 2380 -2616 2648 2620 2236 -2520 2676 -2508 -2568 2640 -2592 2412 2308 -2364 2196 -2616 -2604 -2664 -2560 -2696 -2304 -2188 -2560 -2280 -2584 -2508 2472 -2264 -2528 -2296 -2300 2576 -2336 2608 2196 -2624 -2640 -2160 -2616 2528 -2120 -2264 2552 2320 2692 2408 2096 2184 2616 2612 -2400 -2060 2508 2644 2496 -2088 2548 -2108 -2476 2076 2672 -2684 2544 -2656 -2668 -2328 2420 2060 2180 2040 2368 -2580 -2356 2648 -2392 -2296 2340 2636 2540 2524 2608 2212 2436 -2448 -2524 2716 -2020 -2484 -2216 2656 -2524 2252 -2528 -2500 -2620 2212 2612 2208 -2524 -2020 -2488 -2256 2656 -2396 -2600 -2348 -2584 -2284 -2648 -2420 -2288 2308 -2020 2076 -2408 -2152 -2484 -2680 -2488 -2312 2540 2712 2236 -2704 2680 2584 2520 -2020 -2392 2488 -2660 2584 2672 2648 2464 -2424 2588 -2452 2072 2688 2620 -2572 -2148 -2184 2364 2516 2568 -2112 -2272 2464 -2540 2224 -2516 -2240 -2248 -2380 -2516 -2200 2664 -2640 -2540 2060 2584 2652 2620 -2200 2340 -2580 2652 2300 -2484 2564 2360 2116 -2168 2596 -2588 -2248 -2404 2644 -2700 -2540 -2400 -2540 2684 -2496 -2580 2528 -2376 -2036 2696 -2232 -2224 -2600 -2312 -2360 -2072 2488 2148 2552 2220 -2616 -2588 -2412 -2604 -2276 -2476 -2400 -2648 -2688 -2308 2240 -2464 -2520 -2472 -2476 2028 -2252 2572 -2476 -2636 2456 -2324 -2172 -2600 2160 -2520 -2264 2388 -2460 -2236 -2268 2060 -2560 -2208 2656 -2396 -2656 -2336 -2432 2524 -2340 -2228 -2592 2060 2584 2648 -2716 -2600 2576 -2332 2608 2304 2576 -2616 -2108 2664 -2072 -2628 2496 -2572 -2464 2020 -2564 2620 -2224 -2624 2088 2576 2280 -2472 -2200 2576 2388 -2576 -2328 -2452 2232 2248 2492 -2456 2440 2248 2264 2588 -2512 2060 -2376 2160 -2596 2260 -2132 -2160 2288 2588 -2416 2412 -2192 2468 -2512 2464 2432 2528 2656 -2212 2512 2644 2492 2412 2272 -2300 -2208 2532 -2684 -2072 2360 -2492 2520 -2248 2560 -2656 -2268 -2568 -2688 2528 -2648 -2220 2220 2068 2344 2564 -2568 -2528 2608 -2044 -2652 2664 2680 -2428 -2628 -2500 -2616 -2604 -2592 2560 -2356 2544 2352 -2592 -2076 -2584 -2528 -2580 2292 2360 -2120 -2612 -2628 -2320 -2716 -2288 -2660 -2564 -2688 2572 -2160 -2568 -2424 2348 -2640 2320 -2504 2160 2504 -2112 2144 -2376 -2432 2496 -2280 2488 -2472 -2144 -2616 -2084 2636 2428 -2336 -2644 -2520 -2264 -2548 2320 -2340 -2596 -2180 -2164 -2424 -2216 -2152 2300 2592 2060 -2680 -2212 2556 -2140 2504 -2320 2452 -2048 -2304 -2616 -2372 2584 -2252 2260 -2120 -2136 2240 2296 -2060 2432 -2564 -2624 2360 2120 -2060 -2608 2544 2664 -2320 -2640 -2292 2432 2628 -2160 -2188 -2060 -2308 2380 2096 -2060 2116 -2684 2380 -2080 -2020 -2640 -2260 -2564 -2616 -2452 -2488 -2352 2252 2676 -2656 2584 2608 -2120 -2336 -2180 -2592 2544 -2200 2676 -2560 2232 2620 2660 2376 2060 2672 -2656 2712 -2480 2060 2644 2676 2480 -2596 -2488 2600 -2224 -2684 -2664 2632 2608 2208 2468 -2628 -2660 2644 2532 -2648 2576 2524 -2468 -2308 2520 -2264 -2312 -2484 -2632 -2608 2636 -2696 -2312 -2360 -2688