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