Name | csp/fapp/fapp02/ normalized-fapp02-0250-3.xml |
MD5SUM | aad5c2398708511922e1594d69436929 |
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 | 17.4843 |
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:2444 2464 -2600 -2332 2524 -2292 -2500 -2424 2260 2264 -2644 -2252 2612 2536 -2368 2496 2484 2424 2584 -2656 2448 -2512 -2516 2612 -2292 2372 -2332 -2308 -2424 2540 -2540 -2280 -2460 -2452 2240 -2612 -2560 -2280 -2616 2240 2564 -2300 2344 2436 -2340 2584 -2408 -2556 2320 -2292 -2516 -2576 2296 -2624 -2624 2476 2568 -2460 2568 2412 2520 -2368 -2572 2580 -2468 2528 -2436 -2392 -2292 -2360 -2352 -2436 2240 -2656 2380 -2524 -2648 2312 -2432 -2564 -2560 -2556 -2568 -2656 2556 -2620 -2412 2372 2612 2472 -2524 -2252 -2420 -2256 -2440 2396 2248 -2656 2420 2368 2648 2448 2340 -2292 -2608 -2640 -2548 -2644 -2508 -2508 2472 2376 -2608 -2484 -2624 2572 -2296 2644 2500 2380 -2292 -2304 -2548 -2336 2616 -2472 2584 2464 -2516 -2456 -2280 -2616 2280 -2580 -2584 -2608 -2596 2396 -2416 -2584 -2460 2652 -2608 -2468 -2300 -2408 -2464 -2616 2608 2592 -2524 -2384 2268 2584 -2624 -2256 -2580 2276 -2652 -2384 -2584 2556 -2476 -2616 -2496 -2332 -2604 2520 -2572 -2400 -2316 -2556 2384 2520 -2488 -2476 -2532 2464 -2556 -2372 -2500 -2464 -2604 2344 -2644 2624 2600 -2616 2332 -2292 2516 2652 2536 -2616 -2576 2292 2576 -2356 2552 -2480 -2560 -2596 -2508 -2408 -2624 -2656 2616 2472 -2612 -2332 2452 -2624 -2512 -2424 -2396 -2596 -2428 -2516 2408 2288 2296 2412 -2604 -2584 -2252 -2396 2504 -2604 -2576 -2620 -2564 2332 -2564 -2380 2412 2424 2368 -2412 -2436 -2500 -2544 2512 -2524 -2340 -2560 2408 2292 -2272 2648 -2300