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