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