Name | csp/fapp/fapp13/ normalized-fapp13-2000-9.xml |
MD5SUM | 8646843a2e95f500eada934cacf94d53 |
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 | 53.7878 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 25652 |
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 | 25652 |
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:-2580 -2512 2532 2548 2360 2468 -2656 2296 -2636 2372 2336 2324 -2596 2600 -2616 2508 -2656 -2288 -2316 -2316 2424 2396 -2300 2492 -2380 -2636 -2348 2476 2592 2480 -2320 -2652 -2512 -2320 -2656 2452 -2360 -2340 -2528 -2380 2324 -2304 2280 2412 -2448 2656 2540 2616 -2636 -2320 2364 2560 2560 -2616 -2496 -2552 2616 -2320 -2396 -2500 -2580 -2432 2388 2308 -2328 -2560 -2356 2580 -2572 -2280 2484 -2648 2428 2648 -2280 -2504 2340 2624 2412 -2352 2640 2300 2476 2428 -2612 -2320 -2512 -2616 2516 2280 2368 2352 2564 2284 -2436 -2468 2456 -2532 -2432 2608 -2280 2652 2468 -2456 -2376 -2640 2656 2424 -2356 -2428 -2504 2288 -2320 -2320 -2572 2616 -2540 2628 2452 2432 2616 2600 2612 2604 -2364 2584 2548 2432 2656 -2284 -2440 -2416 2588 2604 -2328 -2456 2436 2456 -2600 2452 -2384 -2448 -2596 2428 2528 2656 2608 -2488 -2444 -2628 -2456 -2392 2396 -2280 2580 -2568 -2320 -2416 -2324 -2280 2464 -2280 -2432 2644 -2492 -2388 -2412 2612 2348 -2448 -2508 2320 -2344 2384 -2656 2288 -2348 -2616 -2432 2480 -2504 2380 -2368 -2612 -2608 2420 -2496 -2480 2596 -2468 -2280 -2320 2368 2308 -2300 2572 -2320 -2304 2588 2464 -2280 -2584 -2528 -2620 2536 2600 -2588 2484 -2340 -2616 2644 2392 -2300 -2320 -2552 2368 -2492 2644 2472 2384 2400 2584 -2320 -2360 -2448 -2544 2616 2508 -2336 -2556 -2432 2580 -2368 -2576 -2620 -2280 2596 -2584 2616 -2592 2652 -2468 2284 -2328 -2280 -2520 -2388 -2320 -2348 -2616 -2640 -2456 2600 2280 -2544 -2340 -2512 -2476 -2336 2320 2624 -2480 2416 2360 2508 -2312 -2600 2280 2580 -2656 -2304 2540 2592 2512 2580 2616 2332 2332 -2304 -2288 2472 2556 -2452 2380 -2616 -2404 -2360 2448 2524 2320 -2460 2616 -2396 -2444 -2468 2428 -2488 2576 -2340 -2568 2452 2280 -2500 -2536 -2396 -2556 2596 2416 -2364 2376 -2472 -2600 2420 -2616 -2500 -2336 2608 -2320 2360 -2332 -2616 -2512 2596 -2568 -2332 -2496 -2656 -2300 2320 2648 2288 -2500 2600 2584 -2612 -2336 2392 -2352 -2284 2656 2504 -2444 2624 -2564 -2384 2572 -2576 -2484 -2292 -2468 -2404 2632 2556 2608 2492 -2436 -2328 -2424 -2376 2328 -2520 2360 -2600 2320 2656 2592 -2424 -2612 -2572 2336 2284 2492 -2452 -2320 2512 -2536 -2412 -2344 -2472 2576 2656 2408 -2428 -2368 -2368 -2652 -2428 2588 2320 -2656 -2436 -2372 2544 -2400 2488 2516 -2384 2424 -2456 2528 2432 -2280 2556 -2560 2472 2432 -2392 2508 -2376 2328 -2536 2568 2408 2408 -2560 -2656 -2348 2588 -2616 2572 -2320 2452 2420 -2656 -2616 2516 -2440 2512 -2596 -2540 2376 2600 -2348 -2280 -2580 2512 2616 2604 -2344 -2656 2456 -2548 2608 -2352 -2356 -2632 -2332 2280 2548 -2428 2312 2284 -2476 2320 -2284 2584 -2556 2320 -2308 -2600 -2524 2548 -2656 -2400 -2300 2352 -2480 -2292 -2524 2616 -2392 -2360 -2416 2280 -2328 -2468 2280 2320 -2616 2456 -2632 -2392 -2656 2580 -2592 -2348 -2320 2424 2496 -2356 2540 -2320 2596 -2576 -2408 2456 2340 -2472 2544 -2372 -2324 -2280 2392 2588 -2280 -2408 2640 -2656 2460 -2304 -2448 -2488 -2548 -2592 2532 2292 -2656 2548 2540 -2640 -2384 2324 2592 -2592 -2544 2400 -2456 -2312 2432 -2348 -2616 2320 -2632 2316 2612 -2280 -2584 -2500 2520 -2448 2348 2580 2632 -2592 -2284 2508 2540 2280 -2404 -2616 -2656 2320 -2360 2352 2344 -2472 -2380 -2280 -2320 2648 2488 2360 -2656 -2560 2324 -2628 -2584 -2504 -2280 2280 -2616 2584 -2320 -2600 2524 -2580 -2516 -2296 -2608 -2656 2468 2336 -2532 2320 -2348 -2588 2588 2540 2552 2428 2548 2328 -2416 -2456 -2404 2408 -2288 -2596 2572 2560 -2616 2320 2460 -2448 -2332 -2356 -2356 -2596 -2412 2656 2492 -2288 -2656 -2600 -2368 2460 -2616 -2464 2532 -2536 -2552 -2620 2452 2656 -2476 2600 2656 2372 -2652 -2612 -2292 2328 2388 -2656 -2292 2652 -2324 -2616 2508 -2336 2320 -2460 -2344 2616 2324 2324 -2432 2344 2304 -2320 2416 -2328 2528 -2496 2468 -2280 2632 -2616 -2636 -2324 -2580 -2592 2556 -2432 2392 -2584 -2656 -2552 -2616 -2408 -2440 2600 -2548 2552 2616 -2616 -2412 2396 2476 -2280 2600 2280 -2320 2376 -2432 -2604 -2632 -2656 -2356 2476 -2416 -2388 2404 2280 2336 2300 2328 -2368 2428 -2360 -2472 2568 -2616 -2324 -2544 -2588 2520 2548 -2580 -2552 -2616 -2420 -2628 -2280 -2656 -2436 -2548 2320 2640 -2344 2616 2380 -2656 -2624 -2528 -2288 2516 2476 2452 -2280 -2424 -2372 -2320 2604 2488 2604 -2576 2284 -2392 2456 -2388 -2280 -2588 -2368 2536 -2520 -2536 2500 -2560 2556 -2496 -2300 -2592 2564 -2448 -2640 2404 -2492 2336 -2520 2520 -2452 2368 2288 -2516 -2656 -2332 2640 -2592 2596 -2392 2344 -2656 2356 -2324 2604 -2284 -2636 -2376 2324 -2548 -2340 2572 -2616 -2616 2624 -2496 2488 2620 -2496 2588 2300 2532 2624 -2448 -2368 -2388 -2340 -2452 -2412 -2532 -2508 -2600 -2492 2508 2576 -2296 2280 -2472 -2308 2320 -2388 -2616 -2328 2288 -2416 -2408 2400 -2388 -2488 -2468 -2364 2320 -2652 2612 -2384 -2452 -2332 -2480 2396 -2468 -2324 2480 -2404 -2576 -2584 2576 -2408 2280 -2420 -2568 2380 2384 -2516 -2492 2600 -2580 -2320 -2448 -2428 -2284 2564 -2584 2312 -2296 2320 -2616 2552 -2452 2436 -2384 -2656 -2584 2392 2412 -2296 2640 2308 -2528 -2592 -2336 -2320 -2320 2352 -2356 2616 -2440 2464 2424 2616 -2344 -2552 2320 -2284 -2612 -2456 -2480 -2516 2476 -2584 -2428 -2476 -2656 -2428 -2396 2632 2436 -2544 2316 2468 -2476 2656 -2652 -2364 -2328 -2280 2440 -2640 -2428 -2564 -2532 2656 -2540 2280 2584 -2388 -2644 -2616 -2536 2596 -2432 -2404 2588 2540 -2608 -2464 2340 2608 2540 -2312 2436 -2612 2652 -2572 -2512 -2476 -2620 -2632 2380 2520 -2408 2320 -2572 2392 2608 -2444 -2456 2628 2372 2324 2560 -2592 2496 -2512 2472 -2444 -2500 -2516 -2404 -2328 2556 -2344 -2280 2628 2356 -2320 -2412 -2504 -2432 2572 -2396 2508 -2328 2460 -2344 -2320 2572 -2568 2488 -2396 -2368 2460 2320 2592 2636 -2592 -2460 2616 -2380 -2332 2616 2396 2544 -2572 2320 -2616 2468 2588 2564 -2420 2508 -2460 -2628 2440 -2444 -2612 -2568 -2464 -2292 2348 -2472 2308 2428 -2448 -2556 2556 2556 -2472 -2344 -2584 -2280 -2616 2612 -2656 2376 2468 -2636 -2540 -2640 2436 2580 -2440 -2492 -2492 -2412 -2384 2584 2552 -2656 -2628 -2328 -2468 2436 -2408 2452 2524 -2384 2604 -2568 2552 2340 2344 -2372 -2640 2428 2384 2384 -2400 -2616 2456 2572 -2292 -2408 -2320 -2508 -2592 2284 2604 2516 2320 -2500 2400 -2616 -2332 -2288 -2640 -2596 -2340 -2348 2616 2420 -2280 -2508 2280 2372 2600 -2280 -2572 2456 2548 -2568 -2520 2640 2360 -2368 -2432 2416 2308 2400 -2324 2340 -2356 -2656 2612 -2352 2620 -2616 2616 -2656 2656 -2512 -2560 -2528 -2584 -2340 -2336 2592 -2644 2560 -2376 2420 2332 -2480 -2616 2544 2364 -2532 2464 -2408 2492 -2656 2284 2420 2644 -2284 2516 -2280 -2428 2492 -2488 2616 -2336 2364 2280 -2332 2496 -2364 -2448 -2508 -2536 -2636 2468 -2508 2444 -2416 2384 2512 -2656 2488 2612 -2380 2320 2428 -2616 2320 -2616 2592 2636 -2460 -2592 -2340 2508 2532 -2508 2396 -2460 2572 2320 -2564 2604 -2572 2332 2540 -2372 -2472 -2280 2552 -2392 -2280 2536 2400 2524 2496 -2588 2444 -2344 -2552 2640 -2396 2592 -2316 -2516 2320 2556 -2508 2388 -2616 2616 -2616 2368 -2616 -2636 -2480 -2452 -2436 -2652 -2368 -2280 -2656 -2520 -2604 -2380 2560 -2468 -2376 2572 -2416 -2576 -2656 2540 2280 -2440 -2528 2612 -2640 -2636 2424 -2656 2648 -2384 -2612 2364 2476 2644 2460 -2344 2312 -2320 -2544 2656 -2344 2320 -2484 2328 -2388 2488 -2496 2320 -2532 -2628 2624 2440 2592 -2320 -2420 2336 -2304 -2592 -2588 -2296 2516 -2520 -2616 2648 -2408 2564 -2632 -2480 2408 -2500 -2376 -2608 -2532 2620 -2568 2612 -2440 2604 2480 2280 2472 2376 2340 -2624 -2428 -2644 -2536 -2380 -2468 -2632 -2280 2604 2320 2568 2412 -2344 2332 -2492 -2340 -2384 -2524 -2412 -2620 2588 -2384 2424 -2412 2604 -2508 -2576 -2608 -2496 2400 -2476 -2592 -2324 -2584 2540 -2500 -2532 -2360 -2616 2520 -2504 -2324 2412 2324 -2652 -2540 -2536 -2284 -2352 2604 -2428 2600 2280 2296 -2636 -2580 -2320 -2392 2364 2536 -2600 -2364 2280 -2324 2656 -2444 -2624 2280 2304 -2320 -2640 -2280 -2520 -2508 2444 -2596 -2508 2320 2584 2484 2400 -2324 2632 -2320 -2468 -2496 -2656 2352 2540 -2460 -2300 -2340 2552 -2588 2420 2304 2324 2532 -2292 -2576 -2588 2444 -2564 -2560 2616 2436 2384 2368 -2544 -2364 2632 -2324 -2320 2388 2460 -2328 2360 -2564 2324 2320 -2292 2336 -2420 -2400 -2600 2616 -2444 -2448 -2576 -2480 -2628 2608 -2512 -2656 2600 2280 -2536 2616 -2656 -2532 2612 -2492 2412 2288 -2280 -2592 2656 -2528 2544 -2344 -2488 -2632 2360 -2280 -2332 2624 -2356 -2532 2636 2620 -2600 -2544 -2612 -2452 2520 -2656 -2384 -2416 -2608 -2496 -2468 2500 -2636 2616 -2284 -2356 -2312 2616 -2604 -2496 2304 -2452 2612 -2600 -2408 -2344 -2280 -2344 -2596 2648 -2496 -2476 2516 2280 -2288 2516 -2384 2304 -2372 -2288 -2596 2408 -2484 -2520 2328 -2612 2500 2368 -2356 2632 -2364 2536 -2328 2388 -2656 -2328 2508 2600 -2536 2352 2516 -2304 2648 -2320 2656 2404 -2428 -2516 2656 -2292 -2320 -2380 -2344 -2580 -2396 -2336 -2424 2656 2416 -2528 2444 2320 -2344 -2280 2328 -2280 -2308 -2560 -2656 2492 -2484 2656 -2332 -2656 -2520 2332 -2616 -2544 2400 -2364 2632 -2320 -2372 -2592 2468 2436 2408 2640 2592 -2336 -2616 -2644 2408 -2616 2608 -2532 2572 -2544 -2296 2468 -2452 -2496 -2376 2492 2652 2608 -2416 -2636 -2628 -2376 -2320 2576 2616 -2464 -2332 -2344 -2616 2604 -2340 2280 -2332 -2552 -2320 2472 -2336 2472 -2616 -2548 2492 2492 2424 2624 2564 2316 -2488 2312 -2416 -2380 -2360 -2492 -2548 -2404 -2532 -2596 2600 2644 2464 -2300 2644 -2528 -2344 2392 -2516 -2656 2560 -2504 2408 -2408 2608 -2288 -2300 -2280 2452 -2488 2356 -2320 -2424 -2656 2460 -2596 -2580 -2344 -2556 -2436 2548 2392 -2324 -2616 2560 2524 -2576 2556 -2424 -2568 -2616 -2636 -2400 -2280 -2580 2612 -2656 2368 2652 2520 -2644 -2600 -2316 -2392 -2440 -2512 2412 -2656 2304 2616 2420 -2332 2280 2628 -2656 -2496 -2340 -2620 -2348 -2532 -2452 2560 -2656 -2532 2492 2280 -2280 -2480 2540 2528 2552 -2580 -2588 -2420 2616 -2320 2436 -2592 2604 -2656 -2400 2320 -2604 -2452 2384 -2484 -2580 -2612 2280 -2568 2372 2384 2416 2532 -2352 -2324 -2656 -2392 -2420 2280 2536 -2492 -2468 -2576 -2360 2468 -2456 2412 2520 -2560 2332 2496 -2592 2536 2484 -2508 2628 -2388 2308 -2616 -2404 -2344 -2468 -2372 2568 -2352 -2472 2280 2524 -2448 2296 2480 -2532 2368 2504 -2572 -2444 -2380 -2580 2632 2500 2552 -2528 -2552 2600 -2616 2392 -2296 -2440 -2612 -2560 2360 2280 -2456 -2616 2608 -2420 -2592 -2528 2600 2476 -2508 -2632 2572 -2320 -2580 -2472 -2384 2616 -2632 2592 -2472 2320 2620 -2596 2572 2364 2552 -2596 -2352 2332 2580 2536 -2348 -2584 2388 -2376 2588 2528 2520 2560 -2616 -2544 2440 2616 -2440 -2428 2656 -2448 -2616 2652 2324 2544 -2344 2404 2500 2584 -2408 -2656 2296 -2300 2652 2596 -2416 -2488 -2320 2280 -2616 -2564 -2524 2280 2452 2328 -2352 -2592 -2476 -2484 -2432 -2376 -2348 -2360 2432 -2340 2632 -2648 -2468 -2292 2320 -2528 2320 2324 2364 -2328 2504 -2352 2352 -2576 2288 -2456 -2364 -2400 -2656 -2352 -2656 2280 -2396 2560 2620 2280 -2356 -2316 -2500 -2656 2592 -2284 -2320 -2280 -2552 2348 2500 -2288 2440 2540 2416 2496 2284 2392 -2304 2624 2280 2592 2536 2476 -2316 -2320 2548 -2588 -2404 2572 2336 -2344 2644 2352 -2340 2344 -2432 2464 -2640 -2572 -2596 2392 2292 -2380 -2292 2280 2412 -2520 -2480 2364 -2452 2436 2480 -2320 -2352 2292 2612 -2416 2292 2404 -2556 -2328 -2320 -2464 -2452 -2536 2412 -2412 -2296 -2516 2644 -2320 -2560 2652 -2616 -2352 -2488 -2372 -2612 -2476 2492 -2548 2356 -2320 -2320 2424 2408 -2540 2644 -2564 -2508 -2656 2372 -2460 2384 2584 -2628 2612 -2372 2344 -2448 2388 2412 -2320 -2656 2436 2596 -2312 2532 -2604 2320 2508 -2360 -2636