Name | csp/fapp/fapp10/ normalized-fapp10-0900-9.xml |
MD5SUM | bb8fed9f370e164b93c37276047ba0d0 |
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 | 55.3086 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 900 |
Number of constraints | 11381 |
Maximum constraint arity | 2 |
Maximum domain size | 362 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 11381 |
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:2528 2664 2184 -2324 2484 2276 -2256 2672 -2460 2540 -2284 2396 -2528 -2388 -2400 -2424 -2632 2316 -2040 2580 -2504 -2692 2624 -2436 -2676 -2020 -2684 2424 -2636 2560 -2364 2276 -2436 2236 -2700 2396 2488 2544 -2576 2136 -2144 2384 -2516 2656 -2544 -2068 -2176 -2432 -2276 2652 -2120 -2620 -2152 -2140 2028 -2420 2540 -2708 -2740 -2276 -2640 2684 -2064 -2696 -2312 -2528 2692 -2088 -2420 -2720 -2596 -2236 2324 -2188 -2688 2652 -2332 2472 2028 -2532 -2696 -2608 2740 2104 2260 -2220 -2532 2344 -2740 -2592 2680 2700 -2656 2572 2028 -2584 2604 -2620 -2556 -2608 2628 -2580 2236 2492 -2320 -2708 2636 2556 2448 2340 -2244 -2508 -2720 -2508 2336 -2144 2020 2584 -2712 -2060 -2376 -2324 -2680 2024 -2284 2620 2696 -2100 2516 -2412 2192 2544 2396 2472 -2332 2480 2048 -2316 -2712 -2504 -2532 -2292 2336 2260 -2364 2620 -2716 -2468 -2700 2644 2660 2376 2432 -2132 2032 2692 -2696 -2280 -2588 -2128 -2376 2424 2656 -2476 -2656 -2256 -2060 -2060 2204 -2064 -2620 -2476 -2048 -2092 -2280 -2428 -2740 2136 -2436 -2264 2312 -2344 -2700 2656 -2528 2548 -2020 -2304 -2500 -2540 -2480 2480 -2364 -2112 -2660 -2460 -2316 -2344 2360 -2668 2116 -2172 2020 2672 2600 -2568 2148 2024 -2068 -2508 2184 -2152 -2288 2440 2528 -2396 -2024 -2668 -2452 -2428 -2384 2148 -2396 2628 -2060 -2156 -2224 -2376 -2572 2240 -2556 -2652 2060 2460 2176 2172 -2404 2472 -2324 2444 -2372 -2616 2516 -2216 -2640 -2588 2476 2580 -2596 2644 2288 2436 -2076 -2532 -2244 -2580 -2328 -2596 -2620 -2512 2224 -2468 2224 2492 2656 -2020 -2564 2552 2340 -2280 2496 2680 -2344 -2476 -2664 -2400 2568 2656 -2180 2268 -2740 -2288 2596 -2692 2276 -2680 2564 2332 -2204 2192 2576 2700 -2524 -2064 -2292 -2432 -2740 2600 2156 -2080 2352 -2060 2724 -2372 -2636 2224 2392 2412 2140 2196 -2380 -2740 -2708 -2700 -2484 2020 2696 2720 -2680 -2216 2696 2624 2500 2572 -2700 -2444 -2564 2664 -2740 -2580 -2164 2672 -2596 -2024 -2216 2060 2700 2644 -2372 2324 2132 -2432 2568 2424 -2584 2596 2440 -2060 -2420 -2432 2700 -2584 -2104 -2532 2696 -2132 2192 -2176 -2176 2540 2324 2340 2192 2512 -2060 2516 -2216 -2060 -2180 -2292 2020 -2740 -2700 2500 -2040 -2500 -2412 -2696 -2700 -2072 2324 -2712 -2452 2708 2540 -2120 -2060 2212 -2684 -2584 -2656 2068 -2544 2020 2544 2020 2060 2668 2456 2020 -2220 -2604 2572 2276 -2676 2736 -2024 -2712 -2700 -2496 2660 -2440 -2640 -2700 -2672 -2284 2452 2236 2548 -2724 -2316 -2312 2456 -2492 -2060 -2672 -2572 2352 -2068 -2664 -2428 -2184 -2352 -2304 2700 2080 -2572 -2228 2584 -2608 -2464 -2572 -2060 2616 -2712 -2524 -2412 2676 -2600 -2520 -2508 -2632 -2216 2556 2472 -2160 -2068 2624 2572 -2304 -2740 -2020 2480 2276 -2692 2180 2104 -2568 -2628 -2712 -2276 -2236 -2496 -2020 2532 2256 -2436 2364 -2216 2484 -2720 -2060 -2196 2032 2328 -2740 -2656 2436 2552 2648 -2604 2284 2460 -2356 2700 -2712 -2524 2284 -2512 -2528 2284 -2664 -2060 -2672 -2284 2616 -2032 -2436 -2284 2692 -2700 2568 -2184 -2448 -2468 -2656 -2672 2684 -2220 2736 2616 2168 -2060 2204 2060 2364 -2492 2516 2420 2456 -2208 -2608 -2436 -2256 -2700 2324 2188 -2516 -2384 -2392 2664 -2336 2076 -2064 2676 -2336 2412 2500 -2624 -2524 2188 -2384 -2156 2036 2080 -2540 2536 -2716 -2108 -2392 -2692 -2740 2564 2284 2740 2672 2624 -2532 2580 2672 -2528 -2444 -2256 2452 -2332 -2072 -2452 2252 2364 -2392 2240 -2464 -2324 2628 -2720 2064 -2136 2684 -2740 2560 2696 2152 2524 -2596 2476 2020 2568 -2028 2500 -2060 2500 -2280 2528 2632 -2712 -2072 -2168 -2556 2600 -2636 -2160 -2364 -2616 -2020 -2644 2564 2292 -2468 -2584 2060 2652 2028 2532 2556 -2224 -2088 -2476 -2116 2644 -2104 -2492 -2196 -2616 -2424 -2068 -2432 2020 -2700 -2668 -2692 -2532 2608 -2412 2172 -2488 -2700 -2368 -2532 -2348 -2540 2540 -2020 2580 -2396 2740 2408 2300 2156 2512 2100 -2200 2704 -2244 -2700 2144 -2548 -2656 -2684 -2572 2652 -2712 2612 2740 -2464 -2484 2352 -2656 2396 2660 2644 2652 -2344 2544 -2364 2020 2420 -2148 -2532 -2740 2352 -2372 -2708 -2380 2612 -2272 2628 -2560 -2500 -2424 -2520 -2660 2716 2604 -2232 -2668 -2596 -2164 -2552 -2372 -2024 -2120 2460 -2264 2616 -2484 -2556 2400 -2204 2136 -2624 -2228 2068 2568 -2064 2532 -2168 2564 2520 -2544 2616 -2276 -2668 2408 -2364 -2372 -2480 2172 -2060 -2216 -2488 -2456 2672 -2552 -2548 2520 2740 -2516 2064 -2244 -2668 -2512 2300 -2460 2116 -2320 -2328 -2488 -2060 -2256 -2672 2708 -2740 -2684 -2572 2052 -2092 -2524 2252 2244 2208 -2212 -2700 -2608 -2524 -2468 -2736 -2256 -2472 -2188 -2324 -2520 2132 -2020 -2440 -2552 2740 2568 -2692 -2224 -2072 2324 -2436 2684 -2264 2644 2680 -2216 2700 2580 -2636 -2180 -2372 -2548 2300 -2420 2436 -2216 -2028 -2564 -2332 -2684 -2700 2736 -2648 -2344 -2732 2636 2460 -2464 -2720 2480 2020 2256 2092 -2452 2108 -2244 -2220 2660 -2176 -2620 -2020 2560 2100 2712 -2028 -2488 -2132 -2464 2148 -2316 -2060 2488 2720 -2680 2644 -2508 -2680 -2572 -2588 -2496 -2060 2572 2472 2236 2540 -2396 -2488 2652 2492 -2732 2660 -2624 -2608 2668 -2696 2700 2352 2324 -2700 2656 2556 -2592 -2020 -2440 2640 -2684 -2232 2564 -2324 -2320 2484 2356 -2608 -2332 2060 2440 2312 -2592 2020 2672 2668 -2068 -2740 -2384 -2668 -2400 -2596 2440 -2648