Name | csp/fapp/fapp01/ normalized-fapp01-0200-8.xml |
MD5SUM | 77d0c06508d30467ab0ad961e0384939 |
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 | 6.562 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 2053 |
Maximum constraint arity | 2 |
Maximum domain size | 190 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 2053 |
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 -2452 -2616 -2616 -2344 -2472 -2508 2528 2440 -2288 -2328 -2640 2536 2396 2488 -2544 -2652 -2516 -2320 -2648 -2572 -2432 -2332 2584 -2616 -2488 -2600 -2608 2600 2356 -2640 -2504 -2656 -2376 -2472 2476 2636 -2528 2456 2280 -2616 2280 2480 -2480 2464 -2332 -2452 -2616 2420 -2556 2496 -2612 -2384 2468 -2360 -2384 -2344 -2460 2456 -2416 2544 2352 -2412 -2512 -2448 2464 -2492 -2448 2608 -2460 -2612 2324 2596 -2528 -2360 -2568 -2336 -2612 -2600 2320 -2376 2320 -2308 -2428 2604 2556 2592 -2656 2320 -2600 -2340 2396 -2568 -2528 -2516 2520 -2504 -2500 -2644 -2652 2576 -2608 2480 -2512 -2504 2420 -2516 -2552 -2380 -2380 -2472 2280 -2336 -2616 -2328 -2540 2436 -2644 2408 -2580 -2476 -2552 2356 2280 -2340 -2352 -2532 -2452 -2280 2492 2612 -2540 -2468 2424 -2300 -2532 2592 -2340 -2580 -2608 -2392 -2612 2496 -2400 -2460 2512 2412 -2656 2416 2320 2656 -2560 -2488 -2412 -2656 2284 -2620 -2368 2520 -2596 2456 -2616 2412 -2304 -2604 2572 -2488 2420 -2640 2416 2280 -2652 -2300 2336 -2296 2336 2544 -2420 -2376 2344 -2648 -2312 -2656 2320 -2616 -2648 -2460 -2348 2656 -2452 -2432 2320 -2420 2580 2292 2620 2376 -2476 -2292 -2552