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