Name | csp/fapp/fapp04/ normalized-fapp04-0300-6.xml |
MD5SUM | c69528fd65a2520fb81be713348cca16 |
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 | 25.9351 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 3360 |
Maximum constraint arity | 2 |
Maximum domain size | 270 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 3360 |
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:2624 2452 -2272 -2168 2200 -2400 2640 -2236 2660 -2416 2676 2560 2544 2460 -2364 2388 2548 -2508 -2160 2288 -2280 2696 2280 -2428 2196 -2540 -2340 -2432 -2244 2612 2252 2484 -2256 2652 2436 2288 -2560 2208 2616 2304 -2160 2396 2636 -2352 -2276 -2248 -2596 -2576 -2448 -2620 2204 2680 -2632 2468 -2292 2524 -2228 -2252 -2476 -2696 -2320 2160 -2200 -2564 2472 -2524 2584 2664 -2320 2372 -2548 -2236 -2232 -2184 2160 -2600 -2636 -2572 2500 -2160 2584 2160 -2580 2692 -2360 2636 -2468 2556 2160 -2200 2680 2664 2696 -2552 -2160 2200 -2440 2212 2696 -2160 -2436 -2200 2676 -2508 2348 -2408 -2200 2624 2556 -2676 2248 2588 -2460 2648 2212 -2656 2640 -2624 -2308 2628 -2676 2648 2588 2512 -2664 -2360 -2476 -2656 -2212 -2664 -2600 -2276 2528 -2696 2316 -2244 -2328 -2392 2644 -2592 -2236 -2172 2588 -2244 2516 2396 -2164 -2668 -2288 -2656 -2304 2656 2160 -2516 2284 -2628 2396 -2544 -2344 2692 2324 2300 2348 -2484 -2264 2588 2244 -2644 2692 -2160 2560 2584 2696 -2696 -2684 2200 2684 -2240 2396 2628 2520 2232 -2264 2200 -2308 -2656 2516 -2160 2624 -2656 -2188 2556 -2248 2568 2568 2200 -2616 -2524 2400 2636 -2476 2624 2580 -2412 2672 2636 2224 2388 -2472 2252 -2292 -2652 2160 -2200 -2436 2564 2524 -2288 -2264 -2624 -2664 -2324 -2628 -2416 2696 2436 -2304 -2524 -2436 2608 -2640 -2664 2260 -2688 2600 2624 -2436 2664 -2460 -2200 2656 -2200 -2676 -2480 -2564 2348 -2196 -2420 2500 2444 -2364 -2348 2252 2696 -2204 -2292 2680 2492 -2656 -2628 2652 -2508 -2636 -2456 2588 -2452 2624 -2536 2640 -2468 2160 -2272 -2372 -2332 2200 2520 -2620 -2200 2296 -2160 2596 -2624 -2632 2584 2656 2656 -2204 2384 2608 -2456 -2328 2484 2368 -2200 -2204 2332 -2592 -2656 2252 -2300