Name | csp/fapp/fapp21/ normalized-fapp21-0500-5.xml |
MD5SUM | e0a4c3f834530db0009b18ab503d1b6e |
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 | 21.7677 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 500 |
Number of constraints | 2852 |
Maximum constraint arity | 2 |
Maximum domain size | 242 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2852 |
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:-2632 -2324 -2588 -2404 2660 2660 -2384 -2296 -2624 -2220 -2332 -2480 -2220 -2400 -2528 -2496 -2332 -2232 -2276 -2660 -2416 2680 -2412 -2700 -2660 -2424 -2260 -2456 -2276 -2256 -2700 -2548 -2700 -2220 -2700 -2260 -2588 -2372 -2472 -2612 -2648 -2416 -2696 -2688 -2228 2700 -2600 -2512 -2568 -2372 -2424 -2480 -2284 -2376 -2276 -2296 -2260 -2628 -2336 -2688 -2264 -2612 -2360 -2268 -2536 -2608 -2280 -2476 -2260 -2440 -2416 -2236 -2700 -2344 -2384 -2700 -2408 -2700 2220 -2404 -2356 -2452 -2700 -2432 -2220 2220 -2260 -2700 -2228 -2332 -2580 -2368 -2592 -2600 -2260 -2260 -2292 -2632 -2624 -2220 -2352 -2660 -2220 -2276 -2276 -2360 -2504 -2700 -2296 2636 -2260 -2384 -2648 -2628 -2632 -2260 -2440 -2260 -2244 -2428 -2364 -2364 -2304 -2660 -2440 -2260 -2344 -2220 -2632 -2280 -2488 -2236 2408 -2460 -2260 -2460 -2276 -2592 -2260 -2700 -2548 -2412 -2460 -2416 -2600 -2420 -2660 -2700 -2336 -2236 -2560 -2700 -2360 -2288 2260 -2628 -2412 -2260 -2364 -2660 -2220 -2500 -2336 -2424 -2660 -2660 -2424 2428 -2596 -2260 -2364 2532 -2660 -2456 -2660 -2220 -2464 -2524 -2424 -2700 -2660 -2308 -2588 2660 -2400 -2220 -2628 2404 -2564 -2412 -2400 -2336 -2220 2676 -2260 -2584 -2660 -2648 -2280 -2220 -2380 2600 -2700 -2608 -2220 2660 2648 2584 -2660 -2260 -2304 -2400 2260 2648 -2408 -2408 -2260 -2648 -2512 2624 2612 -2472 2316 -2220 -2296 2652 -2660 -2672 -2228 -2700 -2372 -2220 -2660 -2660 -2544 -2604 -2660 2568 2676 -2412 -2660 -2420 -2360 2688 -2528 -2552 -2444 -2384 -2368 -2448 -2220 2660 -2248 -2324 -2504 -2220 -2468 -2700 2660 -2592 -2660 -2660 -2604 -2356 -2668 -2292 2660 2236 2660 -2220 -2620 -2448 -2220 -2572 -2308 -2296 -2700 -2700 -2244 -2516 -2260 2220 -2500 -2220 2636 -2700 -2660 -2656 -2444 -2560 -2700 -2508 -2288 -2552 -2300 -2260 -2700 -2464 -2384 2700 -2504 -2364 -2572 -2572 -2584 -2312 -2696 -2540 -2220 -2608 -2268 -2372 -2344 -2260 -2400 -2496 -2672 -2316 -2220 -2560 -2400 -2272 -2260 -2420 -2660 -2700 -2456 -2348 -2324 -2424 -2260 -2700 -2656 -2544 -2464 -2444 -2256 -2548 -2260 -2432 -2540 2528 -2468 2520 -2384 -2328 -2316 -2700 -2376 -2660 2492 -2660 -2484 -2220 -2240 2508 -2584 -2384 2700 2588 -2344 -2584 -2592 -2700 -2380 -2464 -2492 -2260 -2220 -2512 -2460 -2684 -2260 -2524 -2352 -2568 -2644 -2452 -2348 2660 -2588 -2220 -2260 -2296 -2520 -2260 -2348 -2532 -2260 -2276 -2588 -2628 -2220 -2252 -2636 -2336 -2632 -2284 -2320 2360 -2572 -2668 -2336 -2660 -2576 2640 -2460 -2220 -2344 -2224 2628 -2236 -2608 -2700 -2456 -2532 -2700 -2660 -2260 -2260 -2464 -2640 2636 -2300 -2448 -2640 -2500 -2392 -2700 -2220 -2484 -2340 -2220 -2268 -2260 -2520 -2404 -2392 -2700 2552 -2388 -2436 -2484 -2688 -2672 2220 -2292 -2392 2660 -2344 -2504 -2660 -2468 -2596 -2700 -2260 -2220 -2588 -2220 -2700 -2304 -2296 -2660 -2260 -2648 -2628 -2480 -2260 -2420 2396 -2420 -2700 -2564 -2504 -2220 -2252 -2316 -2660 -2700 -2336 -2240 -2272 -2700 -2384 -2240 -2408 -2276 -2700 2532 -2260 -2220 -2420 -2260 -2624 -2236 -2296 -2536 -2552 -2300 -2372