Name | csp/fapp/fapp23/ normalized-fapp23-1800-9.xml |
MD5SUM | 934d5befa5025b948f72904dd764f189 |
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 | 37.9152 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1800 |
Number of constraints | 63962 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 63962 |
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:-2568 2480 -2708 2544 -2452 -2304 -2664 -2752 -2344 2220 -2352 -2736 -2588 -2452 -2380 -2672 2588 2316 -2784 -2228 -2320 2304 -2324 -2676 2540 -2716 -2744 -2476 2492 -2688 -2652 -2508 -2336 -2348 -2340 -2704 -2712 2744 -2620 2748 -2292 2228 2644 -2672 -2704 -2636 -2652 -2396 -2360 -2288 -2744 2396 -2628 -2720 -2768 2688 2540 -2296 -2248 -2412 -2312 -2460 -2224 -2796 2464 -2432 -2296 -2580 -2648 -2240 -2524 2440 2240 -2220 -2460 -2260 2264 -2752 -2528 -2496 -2440 -2488 2488 2652 -2424 -2488 -2252 -2768 -2644 -2636 -2380 -2744 -2728 2248 -2664 2516 -2412 -2648 -2220 -2696 -2516 -2320 2724 2620 -2340 -2508 -2452 2540 2820 -2780 -2260 -2576 -2728 2648 -2440 -2364 2276 -2432 -2684 -2548 2460 2688 -2360 -2220 2532 -2288 2620 -2696 -2576 2508 -2324 -2248 -2500 -2392 -2568 -2744 2628 2496 2780 -2296 -2568 -2464 -2460 -2516 -2448 -2744 2632 -2276 -2304 2648 2256 -2280 -2508 2436 2260 -2580 -2748 -2556 -2604 2808 -2744 -2716 -2672 2616 -2692 -2444 -2808 -2236 2648 2736 -2676 -2628 -2516 -2460 -2316 -2520 2288 -2684 -2304 -2260 2544 -2576 -2532 2472 -2704 2624 2472 2748 -2592 2340 -2460 -2612 2600 2640 -2808 -2424 2692 -2580 2452 -2808 -2304 -2628 -2692 2552 2344 2616 2576 -2636 2544 -2560 -2248 -2656 -2740 -2380 2564 -2540 2452 -2276 -2740 2760 -2464 -2476 -2484 2644 -2236 -2264 2532 2224 2712 -2476 -2748 -2728 -2760 -2820 -2256 2400 2720 -2752 2528 -2396 -2456 2284 -2548 2548 2412 -2372 -2404 -2732 -2272 2716 -2420 2236 2684 -2752 2556 -2764 -2548 2220 2700 -2732 2628 -2704 -2384 -2560 -2320 -2540 2520 -2732 -2348 -2756 -2696 2272 -2716 2376 2436 2364 2504 2756 2788 -2344 2348 -2592 2408 2664 2224 2588 -2648 -2420 -2640 -2716 2500 -2412 2704 -2508 2596 2308 -2440 2368 2332 -2560 -2276 2656 2660 2256 -2428 2496 -2572 -2416 2544 -2504 -2616 -2708 2396 -2464 2316 2236 -2284 -2504 -2516 -2700 -2260 2452 2484 2756 2280 -2628 -2264 2748 -2364 -2504 -2428 -2720 2316 -2400 -2668 -2584 -2468 -2628 -2512 2288 2544 -2592 -2664 -2508 -2716 -2720 -2292 2772 2484 -2744 -2780 -2532 -2376 -2400 -2676 2416 -2260 -2692 -2252 -2660 -2640 -2580 2708 -2796 -2728 -2228 -2260 2472 2220 -2672 -2452 -2700 2448 -2248 2340 -2716 -2364 -2260 -2660 -2676 2540 2688 2244 -2716 -2808 2344 -2720 -2480 -2620 2504 2412 2780 -2612 2548 -2392 -2556 2724 -2244 -2640 -2360 2596 -2676 -2492 2380 -2504 -2780 -2508 -2356 2404 2632 2672 -2456 -2340 2256 -2776 -2492 2708 -2728 2688 -2268 -2736 2688 2568 -2672 2500 -2628 -2580 2688 -2736 2660 -2288 -2608 2772 2484 -2624 2328 -2388 -2348 -2648 -2380 -2600 2476 -2716 2276 -2648 -2656 -2224 -2576 2656 -2712 2496 -2788 -2600 2388 2408 -2388 -2632 -2472 -2428 -2692 2708 2368 -2300 2408 -2776 2628 -2556 -2352 2500 -2628 -2704 2528 -2544 -2652 -2328 -2496 2736 -2700 -2580 -2724 2452 -2688 2792 -2392 2632 2268 -2436 -2620 2476 -2256 -2764 -2296 2256 -2336 -2532 2700 -2332 -2632 -2632 -2532 -2748 -2380 -2496 -2748 2688 2820 -2684 -2228 -2376 2456 2692 -2260 -2316 -2584 -2288 -2592 -2420 -2308 -2408 2416 -2600 -2352 -2540 -2596 -2608 -2452 -2500 -2352 -2284 2352 -2468 2516 -2628 2644 2656 -2448 -2500 2628 2540 -2580 2340 2616 2228 -2296 -2584 2288 -2468 2476 2708 -2740 -2312 -2320 -2600 -2708 -2476 -2784 -2792 -2748 2412 -2556 -2220 2696 2456 -2776 -2724 2444 2736 -2572 -2324 2480 2576 -2260 -2288 -2484 2708 -2492 -2264 -2348 -2392 -2460 -2632 -2708 -2444 -2520 -2520 -2812 -2476 2508 -2820 -2236 2360 2676 -2364 -2744 -2496 2360 2748 2488 2756 2732 -2604 -2548 -2708 -2692 -2632 -2416 -2304 -2800 -2404 -2432 2572 -2420 -2712 -2668 2680 2668 -2592 -2660 2660 -2516 -2628 -2452 -2580 -2532 -2624 -2300 -2716 -2780 -2520 -2340 -2412 2652 2520 -2424 -2316 -2684 -2516 2516 -2324 -2540 -2452 -2452 2436 -2512 -2452 2648 -2724 2368 2628 2240 -2384 -2260 -2772 -2380 -2704 -2556 -2548 2564 -2632 -2748 -2700 -2412 -2260 2264 2236 -2260 2648 -2544 2664 -2572 2680 2580 2420 -2556 -2704 -2484 -2268 -2264 2344 -2276 -2408 2360 -2712 -2748 -2324 -2632 -2456 2404 2516 -2508 2300 2288 -2780 -2820 -2420 -2632 2328 -2760 -2516 -2220 2356 -2516 2528 -2780 2280 -2780 2596 -2284 2716 2368 -2408 -2284 -2404 -2588 -2668 -2636 2360 -2492 -2372 -2456 -2744 -2776 -2312 2780 2744 2756 2376 -2692 -2288 -2432 -2748 -2768 -2356 -2260 -2520 -2712 -2420 -2656 -2496 -2524 2480 -2336 2756 -2552 -2372 2724 2500 -2684 -2328 -2780 2768 -2220 -2364 2408 -2532 2444 -2476 2320 -2672 2620 -2656 -2780 -2748 -2488 -2628 -2616 2516 2436 -2296 -2616 -2476 -2780 2684 -2820 2456 -2820 -2492 -2260 -2640 2724 -2560 2452 -2624 -2220 2356 -2340 -2364 2540 -2820 -2556 -2580 -2368 -2316 -2448 2480 2352 2420 2588 -2568 -2560 -2456 -2492 -2696 -2776 -2452 -2744 -2716 -2368 -2240 2492 -2516 -2684 -2316 2716 -2452 -2664 -2464 -2232 -2324 -2624 2492 -2764 -2276 2668 2452 -2340 -2256 -2800 2820 -2680 -2636 2360 -2628 2260 -2760 -2492 -2792 -2492 -2444 -2612 2464 -2640 -2348 2512 2288 2560 2592 -2220 2712 -2576 -2576 -2296 -2820 2344 -2500 -2288 2588 -2248 -2692 2784 2364 2500 -2744 -2220 -2488 -2516 -2596 -2220 -2476 -2312 2800 2540 -2332 2428 -2684 -2276 2528 -2320 2400 2360 -2552 2784 2296 -2452 -2504 2496 2252 -2580 -2452 -2364 -2596 -2376 -2264 2308 2264 -2692 2472 -2572 -2336 -2652 -2492 -2536 -2728 -2272 -2452 -2228 -2368 2820 2744 -2512 -2460 2748 2696 -2408 -2580 -2620 -2268 -2260 -2760 -2528 -2376 2228 -2524 2624 2368 -2368 2712 2668 -2304 -2340 2344 -2548 -2328 -2508 -2552 -2416 -2560 -2464 -2784 -2620 -2416 2248 -2516 -2508 -2408 -2748 -2816 -2536 2556 -2608 -2560 -2756 -2388 -2356 2776 -2436 -2328 -2604 -2672 2748 -2344 -2532 -2772 -2664 2720 -2536 -2356 2656 -2420 2400 -2480 -2704 2408 -2264 -2492 2808 -2384 -2300 -2412 -2520 -2768 2716 2412 -2748 2472 -2684 -2400 2240 2384 -2268 2736 -2780 2308 -2504 2808 -2312 2484 2664 -2748 2348 -2220 2468 2748 -2704 -2616 -2420 -2664 -2616 -2412 -2652 2588 2260 2644 -2296 2584 -2248 -2716 -2524 -2428 -2732 2460 -2760 -2688 -2628 2220 -2708 -2252 2668 -2676 -2680 -2520 -2668 -2800 -2580 -2636 -2748 2620 -2356 2276 2748 -2644 -2540 -2760 -2780 -2736 -2788 -2608 -2764 -2676 -2512 2304 -2672 -2452 -2548 -2508 -2460 -2280 -2792 -2492 -2324 -2500 -2324 -2592 -2540 2588 2716 -2600 -2756 -2668 -2492 -2560 2756 -2580 -2712 -2708 -2304 -2636 -2600 2456 -2288 2760 -2464 -2500 2552 -2520 -2740 -2320 -2260 2404 2528 -2344 2532 -2628 2520 -2632 -2672 -2632 -2576 -2428 -2320 -2632 -2452 2304 -2420 -2276 -2384 2412 2780 2632 -2652 -2756 -2508 2784 2760 -2808 2620 -2756 2728 2480 -2420 2284 -2476 2308 -2768 2300 -2516 -2496 2700 -2424 -2448 -2648 2384 2576 -2652 -2556 2280 2520 -2376 2248 -2516 -2528 -2796 2284 -2668 -2392 -2220 -2784 -2336 -2628 -2664 -2256 -2672 -2236 -2288 -2452 -2300 -2732 -2752 2444 2708 -2604 -2580 -2336 -2700 -2344 -2516 -2716 -2724 2588 -2276 -2220 2740 -2404 2612 2292 -2660 -2652 2572 -2592 -2412 2768 -2268 -2364 -2776 -2284 2352 -2688 -2460 -2780 -2520 -2740 -2656 -2480 -2608 2732 -2440 -2588 -2268 -2660 -2656 2608 2784 -2492 -2660 -2404 -2476 -2460 -2248 2564 2788 2440 -2272 -2588 -2480 -2596 -2460 -2628 -2524 -2716 2580 2616 -2300 -2720 -2260 -2484 -2616 -2372 -2260 2632 -2516 -2620 -2476 2284 2324 2388 -2344 -2376 2724 2404 -2264 -2540 -2644 -2552 -2480 -2344 -2268 -2508 2460 -2604 -2712 -2732 -2420 2560 -2776 -2588 -2520 -2756 -2688 -2644 -2684 -2236 -2676 -2556 2308 2728 2504 2568 -2764 2780 -2344 -2744 -2768 -2356 2744 2696 -2548 -2620 -2620 2664 -2268 2452 -2456 -2484 2300 2588 -2628 2540 2724 2672 -2688 -2664 -2428 -2620 2432 2788 -2448 2680 -2644 -2760 -2276 -2720 -2340 -2672 -2716 -2452 2432 2564 -2668 -2516 -2492 -2516 2288 -2528 -2484 2512 2720 -2252 2296 2640 2820 2460 2708 2624 2708 -2792 -2392 -2820 -2460 2516 -2784 -2736 2388 2544 -2376 -2764 -2684 -2620 2268 -2756 -2312 2792 -2272 -2280 -2560 -2220 2296 -2784 -2768 -2668 2644 -2548 -2708 -2660 2628 -2464 -2312 -2292 -2388 -2644 -2468 -2640 2492 2500 -2312 2316 -2272 -2712 -2816 -2432 -2444 -2456 -2656 -2224 -2484 -2788 2312 -2300 2644 -2476 2712 -2788 -2444 -2552 2636 2612 -2620 2756 2228 -2612 2236 -2736 -2404 -2764 2540 -2692 2420 -2756 2304 -2768 -2740 -2556 -2668 -2300 -2708 2512 2492 2512 -2580 2272 -2440 -2776 -2760 -2476 -2700 -2436 -2732 -2472 2368 -2684 2540 -2420 -2448 -2588 -2656 2328 2528 -2336 2320 2260 -2652 -2456 -2312 -2564 -2664 -2512 2404 -2580 -2352 -2476 -2420 -2700 2536 2592 2336 -2500 2668 -2588 2580 -2328 -2328 -2344 -2732 -2520 -2668 -2372 -2228 -2584 -2712 -2304 2760 -2248 -2648 -2268 -2500 2684 -2512 -2540 2768 -2476 2616 2320 -2380 -2668 -2520 2760 -2564 -2732 -2704 -2692 -2600 -2280 2520 -2328 2548 -2400 -2708 -2584 2692 -2232 2224 -2716 2244 2696 -2592 -2752 -2488 -2360 2568 2304 2720 -2604 2544 2716 -2628 2224 -2356 -2756 -2632 -2724 -2504 2284 -2628 -2716 2716 -2396 -2328 -2636 -2376 -2592 2724 -2460 2392 2584 2528 -2260 2636 2580 -2428 -2672 -2396 2256 -2656 -2504 -2704 2340 2396 -2436 -2568 -2496 -2300 -2276 2312 -2548 -2708 -2372 2412 -2740 -2536 2500 2588 -2236 -2764 2324 -2752 -2412 2672 -2408 -2548 -2544 -2580 -2232 -2576 -2440 -2444 -2528 -2332 -2292 2512 2696 2772 -2772 -2524 -2416 -2772 2708 2260 -2584 -2672 -2616 2308 2708 2372 -2344 -2452 2260 2708 -2344 2368 -2696 2628 -2508 2432 -2704 2544 2412 -2320 -2480 -2616 2300 2416 -2360 -2812 -2220 -2548 -2516 -2292 -2696 2256 -2508 -2772 -2448 -2452 -2672 -2220 -2480 -2520 -2380 -2604 -2492 2520 -2584 -2680 -2596 2596 -2268 2672 -2532 -2612 2632 -2760 -2720 -2284 -2720 -2296 -2784 -2676 -2560 -2800 -2656 -2688 2364 -2552 -2788 -2420 2588 -2460 2816 -2496 2396 -2520 -2672 2356 2472 -2320 -2640 2340 -2380 2752 -2560 -2680 -2616 -2504 2528 -2364 2428 2668 2624 -2512 -2272 -2500 -2504 -2512 2476 -2468 2388 -2360 2392 2492 2356 -2588 -2632 -2408 2632 -2716 2264 2504 -2596 -2500 2332 -2744 2704 -2364 2232 2288 -2588 -2644 -2492 -2744 2476 -2560 -2504 -2456 2640 -2244 -2808 -2756 -2476 -2736 -2404 2752 2668 2356 2480 -2624 -2820 2820 2320 -2568 -2596 -2772 -2460 -2720 -2388 -2680 2436 -2368 2552 -2340 -2624 2568 -2688 -2588 -2696 -2460 -2716 -2708 2676 -2600 -2436 -2732 -2496 -2540 -2292 -2628 2752 2488 -2424 2620 -2544 2628 -2588 -2364 2592 -2692 -2236 -2676 2388 -2280 -2464 -2644 2412 -2508 -2396 -2344 -2584 -2304 2672 -2580 -2748 -2476 2436 2448 -2616 -2756 -2280 -2628 2252 -2412 -2792 -2496 -2272 2644 -2568 -2396 2784 -2696 -2304 -2304 -2544 -2708 -2780 -2540 2604 -2596 -2588 -2296 -2456 -2544 2372 2732