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