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