Name | csp/fapp/fapp03/ normalized-fapp03-0300-7.xml |
MD5SUM | 864e3c61ff08e32a4845b7a063b51513 |
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 | 27.3928 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 4377 |
Maximum constraint arity | 2 |
Maximum domain size | 250 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 4377 |
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:-2216 -2604 2604 2416 -2360 2256 -2528 2412 2356 2392 -2296 2304 2200 2400 -2616 2496 -2328 2572 -2612 2652 -2160 -2440 2192 2268 -2596 -2172 -2332 2536 -2188 2492 -2252 2272 -2588 2392 2588 -2576 2544 2380 -2200 -2564 -2248 -2384 -2312 2160 -2228 -2520 -2576 -2160 2160 -2160 -2640 -2512 -2164 -2576 -2400 -2344 -2564 2480 2552 -2312 2456 -2624 -2532 2248 2452 2464 -2460 -2528 2460 -2480 -2460 -2480 2616 -2600 -2460 -2264 2468 2608 -2240 2572 -2232 -2520 -2252 -2292 -2160 2588 -2488 2492 -2568 -2184 -2396 -2364 2608 -2580 -2520 2480 -2628 -2200 2516 -2592 2380 -2568 -2360 -2600 -2320 2372 2572 2344 -2616 -2400 -2476 2640 -2268 2464 2424 -2356 -2628 -2476 2196 2640 2432 2600 2236 -2228 -2292 2616 -2636 -2544 2268 2360 -2440 2564 2632 -2324 -2312 -2532 2560 -2452 2328 -2392 2280 -2480 -2612 2420 -2632 -2200 2160 -2320 -2212 -2568 -2504 -2332 2600 -2512 2576 2560 2524 2212 -2584 -2560 -2520 2172 -2572 -2212 2340 -2200 2284 -2564 -2416 2224 -2216 -2420 -2608 -2500 2372 -2652 -2412 2568 2604 -2560 -2352 2500 -2576 2548 -2568 -2596 -2160 -2168 2200 -2528 2592 -2584 -2656 2332 2568 2360 2352 2452 2560 2272 -2512 2604 2404 2560 -2472 2492 -2528 2440 -2380 -2556 2160 -2440 2200 -2540 -2592 -2548 2556 -2432 2376 2648 2440 2252 2632 2636 2288 2616 -2528 -2276 2552 -2488 2656 -2200 2600 2444 -2480 -2520 2412 2320 2396 2208 -2608 2200 2372 -2308 -2288 2588 -2656 -2516 2608 2608 2584 2616 2468 2596 -2292 2404 2496 2612 2636 -2176 -2384 2612 2616 -2596 2456 -2316 2592 -2520 -2428 -2648 2428 2240 -2500 -2468 -2564 2200 2440 -2608 -2456 -2452 -2600 2428 -2176 2204 2228 -2208 2208 2360 -2292 2456 2612 2172 2648 2568 -2340 2596 -2320 2552 -2496 2480