Name | csp/fapp/fapp02/ normalized-fapp02-0250-9.xml |
MD5SUM | 796561b8470ec3e16b4bf0f5e79f6e0d |
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 | 13.9729 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3055 |
Maximum constraint arity | 2 |
Maximum domain size | 210 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3055 |
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:-2440 2556 -2588 -2484 -2616 2356 -2388 -2404 2240 -2312 2572 -2284 -2652 -2552 -2436 2460 2480 -2516 2592 2596 2408 -2584 -2476 2580 2308 -2416 -2348 -2384 -2472 2516 -2500 -2308 -2420 2424 2260 2492 2616 2388 -2636 2276 -2564 -2272 -2372 -2436 -2312 2576 -2408 -2520 2268 -2308 2556 -2544 -2268 2552 2616 -2500 -2552 2428 -2620 2440 2468 -2360 -2548 -2556 -2480 -2592 -2508 2360 -2244 -2280 2320 -2564 -2428 2652 -2400 -2524 -2280 2284 -2412 -2564 -2508 2516 -2520 -2616 -2436 2620 2464 2400 2656 -2456 2524 2240 -2440 -2328 -2460 -2548 -2240 -2644 -2412 -2444 2632 2420 -2376 -2444 -2592 2628 -2360 -2584 -2520 2400 2452 2368 2560 -2576 -2280 -2616 2560 2508 2380 -2336 -2280 -2352 -2588 -2520 -2604 -2584 2240 -2468 -2480 -2380 -2300 -2612 -2316 -2580 -2584 2240 -2596 -2396 2328 2656 2388 2452 -2596 -2480 2280 -2400 -2444 -2584 2580 2576 -2524 -2388 -2344 2572 -2616 2308 2620 -2256 -2616 2336 -2644 -2612 -2432 2588 -2340 2356 -2624 2496 -2540 2240 -2296 -2584 2412 -2616 -2448 -2440 -2588 -2496 -2556 -2384 -2540 -2432 2548 2376 2572 -2616 -2656 -2616 2348 -2316 2544 -2612 2500 -2656 2576 -2444 -2592 -2268 2536 2500 -2656 2560 2548 -2484 2532 -2612 -2652 -2544 -2576 -2304 2372 2624 2496 2456 -2524 2652 -2440 -2540 2380 2280 -2368 -2456 -2612 -2576 -2316 -2308 -2508 2612 -2628 -2580 -2564 -2404 2596 -2452 2412 -2428 2368 2424 -2472 -2428 -2604 2624 -2556 2292 -2536 -2396 -2344 2324 2636 -2332