Name | csp/fapp/fapp25/ normalized-fapp25-2230-9.xml |
MD5SUM | cd2c3c12815b02c7c73d42faba495a48 |
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 | 29.0496 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2230 |
Number of constraints | 18971 |
Maximum constraint arity | 2 |
Maximum domain size | 302 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 18971 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097875 | SAT | 29.0496 | 29.3264 |
Abscon 112v4 ESAC (complete) | 2097876 | SAT | 29.1336 | 29.327 |
Mistral 1.545 (complete) | 2083745 | SAT | 53.1189 | 53.3367 |
Concrete DC 2009-07-14 (complete) | 2083740 | ? | 203.08 | 205.084 |
SAT4J CSP 2.1.1 (complete) | 2083736 | ? | 429.607 | 431.866 |
bpsolver 09 (complete) | 2083746 | ? (exit code) | 10.0435 | 10.1323 |
Concrete 2009-07-14 (complete) | 2083739 | ? (exit code) | 432.872 | 437.123 |
Sugar v1.14.6+minisat (complete) | 2083743 | ? (MO) | 283.6 | 692.673 |
Sugar v1.14.6+picosat (complete) | 2083742 | ? (MO) | 291.415 | 301.732 |
Choco2.1.1 2009-06-10 (complete) | 2083741 | ? (TO) | 1800.1 | 1803.59 |
pcs-restart 0.3.2 (complete) | 2083738 | ? (TO) | 1800.13 | 1805.28 |
Choco2.1.1b 2009-07-16 (complete) | 2116849 | ? (TO) | 1800.18 | 1809.8 |
pcs 0.3.2 (complete) | 2083737 | ? (TO) | 1800.2 | 1812.6 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2260 2520 2500 2428 2256 -2500 2288 2384 -2220 -2360 2396 2688 2820 -2220 -2260 2820 2488 2572 2760 2272 2468 2492 2656 2260 -2260 2268 2684 -2548 2660 2260 2780 2352 2232 -2788 2820 2816 2748 2260 2460 -2368 -2680 2412 -2440 2792 2288 -2260 2608 2220 2304 2308 -2724 -2764 2584 2272 2480 -2448 2780 2540 -2728 -2340 -2732 -2752 -2528 -2636 -2676 2432 -2672 2720 2324 2352 -2260 2524 -2624 -2780 2412 -2560 2260 2820 2372 2820 -2684 -2732 2704 -2780 -2820 -2308 -2820 2388 2620 2296 2220 2516 2348 -2624 -2296 2692 2780 2484 2696 -2388 2508 2668 2272 2676 -2820 2632 2636 2404 2492 -2792 2352 2508 2476 -2780 -2332 2264 2780 2524 2600 -2404 2540 -2476 2788 -2260 2644 -2428 2748 2768 -2372 -2480 2376 2676 2792 2644 2328 2352 2260 -2820 2308 -2460 2696 2728 -2260 2260 -2260 2280 2432 2372 2484 -2244 -2776 2620 2400 -2548 -2684 2516 2260 2220 2708 2496 2820 2648 2260 2440 2520 -2684 -2620 2704 -2780 2820 2396 2536 -2368 2400 2220 -2396 -2812 2508 -2636 2736 2276 -2684 -2644 -2820 -2432 -2676 2772 -2820 2632 -2248 -2508 2220 2372 2660 2560 2228 2280 2348 -2288 2616 -2800 2764 2420 2584 -2608 2452 -2572 2220 -2648 2240 -2464 2284 -2780 -2644 -2220 2220 -2304 -2396 -2252 -2260 -2568 2480 2544 -2492 -2632 2344 2712 2256 -2588 -2224 2552 -2220 2584 -2748 -2732 2712 -2404 -2284 -2452 2536 -2780 2356 2220 2460 -2384 -2272 2616 2656 2684 2544 2540 2508 -2624 2676 2584 2540 -2492 2556 2508 2548 2296 -2292 2476 2692 -2376 -2452 2260 2488 2576 2264 -2732 2364 -2260 -2752 2480 2816 2768 2236 -2760 2636 -2228 2296 2680 2412 2628 2232 -2680 2712 2780 -2548 2716 2484 -2388 2504 2224 2688 2244 2240 2768 2616 -2820 -2820 -2712 2220 -2636 2220 2784 -2260 -2504 2820 2516 -2708 2328 2220 2628 -2524 2524 2820 2328 2628 2728 -2608 -2220 2396 2632 -2260 2500 -2260 2716 -2320 -2520 -2608 2692 2492 2260 -2532 -2460 2328 -2556 -2244 2236 2504 2564 2572 -2768 -2332 2220 -2516 -2604 -2608 2308 -2404 -2328 2220 2804 2576 2528 -2440 -2780 -2640 -2788 2608 2728 -2760 -2548 2464 2456 2276 2220 -2820 2348 2260 2388 -2356 2320 -2796 -2744 2536 -2616 2464 2312 2416 2572 2628 -2820 -2264 -2544 -2820 2392 2292 -2260 2648 2724 2732 2264 2220 2260 2568 2444 -2588 -2224 -2672 -2676 -2600 2684 2600 -2576 -2580 2708 2312 2664 2284 2320 2220 2440 -2564 -2712 2620 -2744 2232 2536 -2312 2260 2780 -2780 2260 -2444 2568 2240 -2260 2708 2476 2600 -2260 -2428 2564 2676 2428 2308 2456 -2316 2540 -2780 -2820 2220 2644 2568 -2476 2492 -2636 2780 2220 2808 2372 2420 2452 2324 -2668 2440 -2220 -2276 2476 2544 2364 2564 2404 2456 -2340 2780 2312 2716 -2420 -2260 2588 2820 2232 -2400 -2596 -2688 2632 2220 -2792 2368 -2560 -2416 2608 2260 -2612 2748 2304 2752 2652 2284 2400 -2580 2748 2376 2692 -2280 2260 2352 -2652 -2220 -2600 2280 2220 2220 -2304 2540 2220 2320 -2252 2780 2392 2468 -2220 -2564 2524 2632 2468 2532 2524 2516 2456 2768 -2812 -2656 2432 -2620 2556 -2268 2468 2780 2448 -2780 2264 -2220 2580 2260 -2456 -2400 2552 2444 2808 2636 -2720 -2596 2536 2564 -2432 -2540 2464 -2352 2280 2220 2660 2296 -2640 2604 -2364 -2564 2240 -2260 2220 -2820 -2280 -2580 -2480 -2264 2312 -2780 2780 2260 -2820 2628 2220 2676 -2264 2780 -2528 2512 2428 -2484 2220 2472 -2760 2352 2584 2344 -2752 2536 -2820 2660 2260 -2636 2720 2788 2688 2352 2220 2636 2440 2692 2376 2464 2780 2444 -2392 2296 -2264 -2268 2436 2220 2404 2720 2684 -2684 2508 2680 2332 -2320 2372 2220 -2668 2712 -2440 2260 2812 2664 2328 -2404 2220 2500 -2364 -2288 2644 2820 2260 2628 2600 2440 2428 2780 -2524 2560 -2652 2624 2704 -2820 2672 2312 2240 2352 -2756 2480 2472 -2716 -2820 2724 2284 -2732 2512 2708 -2820 2640 2408 2368 2440 -2404 2312 2220 -2452 2496 2648 2664 2672 -2820 -2276 2464 2220 -2520 2524 2672 2484 2368 2692 2520 2520 -2620 2648 2332 -2508 2780 2348 2596 2780 2724 2220 -2252 2596 -2260 -2540 -2516 2328 2676 2428 2424 -2700 -2272 2460 2652 -2220 -2820 -2812 2684 -2660 2264 2456 -2228 -2752 -2352 2724 2820 -2376 2820 2440 2820 2268 -2304 -2820 -2404 2592 -2376 2252 -2372 2520 2640 -2448 -2680 2436 2392 -2264 2340 2320 -2596 2780 2504 2220 2812 2344 2296 2352 2592 -2332 2572 2300 -2220 2448 -2348 2220 2264 -2284 2504 2616 2220 2588 2348 -2820 2260 -2564 2356 2684 2504 -2384 2220 2788 2312 2248 -2660 2260 2568 2392 2260 -2448 -2468 -2260 -2260 -2260 -2228 2780 2552 2224 2548 -2304 2604 2588 -2780 2244 -2352 -2220 2408 2420 2428 2556 2588 2604 -2564 -2680 -2736 2768 2556 2616 2280 -2820 2556 2580 2536 2756 2220 2260 2220 2576 2308 2432 2260 2492 2480 2564 2548 2388 2628 2308 2240 -2820 2676 -2708 -2672 -2424 -2576 -2500 2360 -2668 -2820 2300 2600 -2220 2584 -2780 2268 2356 -2260 2272 2220 2532 -2808 2500 2288 -2800 -2508 2780 2408 2280 -2548 2576 2796 -2260 -2768 2260 2820 -2700 2220 2268 -2716 -2500 2260 2676 -2360 2780 -2508 2696 2260 2780 -2820 -2488 2732 -2288 -2532 -2272 -2512 -2348 -2540 -2424 -2736 2780 2560 2220 -2596 2332 2288 2504 -2688 -2260 2268 2372 2728 -2820 -2260 -2752 2560 -2560 -2544 2608 2648 -2568 2260 2732 -2220 2684 -2692 2300 -2516 2820 2468 2728 2692 -2444 -2260 2396 2308 -2508 2736 2528 2348 -2820 2712 -2572 2440 2684 -2312 2780 2524 -2316 2344 2448 2276 -2576 -2312 -2644 2600 2560 2676 2780 2524 -2504 2604 2780 2768 2340 2756 2780 2468 2416 2260 2352 2656 2772 -2764 2644 2612 2664 2416 -2476 2552 2740 2644 -2588 2244 -2680 -2276 -2260 2712 2700 2220 2368 2744 -2528 2480 2780 2448 2668 -2256 -2560 -2780 2260 2260 2764 2624 2544 2592 -2568 2304 2232 2312 -2424 -2648 2620 2360 -2708 2800 2572 2260 2412 2440 2672 2708 -2820 -2764 2712 2316 2400 -2612 -2560 -2360 2328 2440 -2520 2280 2564 2672 -2820 2796 2664 -2440 -2320 2324 2748 2772 2288 2532 2512 2356 2624 -2736 2748 2320 2508 -2272 2424 2780 -2260 2392 2728 2304 2516 2480 2396 2692 2616 -2356 -2640 2744 2292 -2296 2552 2724 2312 2268 2220 2764 2732 2292 2780 2344 2728 -2660 2576 -2292 -2460 2364 2804 2596 2488 2772 2632 -2388 2260 -2288 2484 -2484 2508 2224 -2704 2476 -2748 2292 2268 2736 2260 2404 2532 2780 -2412 2668 2668 2444 -2704 2780 2436 2464 2220 -2416 2504 2332 -2780 -2672 2780 2228 -2652 -2252 2476 -2516 -2468 -2780 -2724 2508 -2468 2312 2664 -2232 -2260 2452 2628 2380 2636 -2240 2676 2260 -2388 2596 2260 -2488 2628 2584 2780 2396 2524 2640 2260 2528 2780 -2472 -2392 2220 2660 2680 -2220 2780 -2708 -2460 2428 -2780 2408 2408 2516 2520 2456 2480 2556 2220 -2588 2368 2392 2500 2336 -2260 2260 -2432 -2564 2704 2220 2468 2520 2652 2384 -2260 2260 -2392 2612 -2788 2220 -2348 -2820 -2464 -2536 2408 2652 -2700 -2224 2220 2324 -2560 -2336 2656 -2496 -2544 -2676 -2804 2476 -2220 2480 -2480 2820 2568 2220 -2312 2260 2260 2392 -2820 2764 2676 2676 2408 2608 -2504 2780 2728 2424 2240 2376 2332 -2556 2520 -2484 2744 -2288 -2400 -2280 -2328 2752 -2392 2276 2696 -2716 -2260 2768 2780 2280 2624 -2476 -2320 -2508 -2444 2640 2432 2704 -2820 -2488 2272 2592 -2444 2476 -2708 -2636 2648 -2588 -2492 -2260 2420 2260 2512 -2616 2656 2748 -2244 2380 -2780 2780 -2704 2636 2552 2336 2228 -2580 2724 -2608 2596 2260 2272 2340 2688 -2576 -2376 2396 -2428 2220 2688 2736 2260 2428 -2576 2460 2316 -2548 2448 -2372 -2260 -2272 2352 2604 -2300 -2300 2548 -2484 2556 -2700 -2784 2268 -2616 -2412 -2768 2400 -2416 -2748 2260 -2672 2604 2552 2468 2820 2256 -2260 2260 2348 2456 -2820 -2516 2576 -2288 2228 2352 -2780 2380 2516 -2492 2512 -2644 2684 2260 -2744 2580 -2408 2336 2820 2780 2256 2332 2672 2328 2672 -2464 -2820 -2440 -2388 2332 2820 2220 2636 2704 2540 2348 2732 2616 -2612 -2820 -2652 2268 2632 2584 2220 -2308 2588 2260 2360 2632 -2264 -2644 -2620 2220 2808 2492 -2392 -2392 -2708 2220 2352 -2820 2568 2600 2556 -2380 -2556 2220 2820 2220 2564 2260 -2636 2544 2652 2336 -2720 -2392 2724 -2524 2220 2736 -2536 2372 -2692 2260 2260 2720 2524 2348 -2352 -2664 2368 -2260 -2780 2572 2556 2820 -2540 -2756 -2820 2780 -2820 2644 2220 -2784 -2260 -2504 2796 -2780 -2760 -2480 2400 -2624 -2220 -2752 -2664 2408 2220 -2260 2324 -2756 -2468 -2232 -2524 -2364 2512 -2596 -2820 2676 2328 2780 -2440 2692 -2260 2260 2664 -2592 2636 2480 2576 2328 2556 2732 -2408 2392 -2596 -2820 2312 2220 2656 2696 -2256 -2700 2428 2728 2524 2404 -2388 2696 -2692 2304 2768 2328 2548 -2784 2568 2604 2752 -2260 2264 2236 2552 2600 2376 2808 -2700 2564 -2256 2780 -2332 2504 2444 2272 2596 -2580 -2372 2820 2768 2348 2260 -2320 2732 -2356 2564 -2580 2548 2568 2552 2780 2260 2412 -2592 2248 -2220 2652 2272 2700 2380 -2596 2436 2356 2596 2428 -2296 2780 2324 2616 -2544 2576 2356 -2588 -2324 2372 -2820 -2340 -2548 -2260 2296 2448 -2220 2220 -2376 2780 2448 2272 2368 2264 2220 2516 2452 -2684 2388 -2220 2636 2728 2720 2620 2504 2460 2544 2436 2620 -2420 -2820 2220 -2688 -2364 2624 -2344 -2260 2692 2616 -2604 2220 2728 2636 2820 -2344 -2820 2356 2624 -2336 2780 2220 -2372 -2436 -2692 2716 2716 -2252 2352 2508 2292 -2764 2324 -2492 2244 -2392 -2320 2312 2220 2352 -2684 -2488 2656 2692 2248 2780 -2652 -2304 -2576 2664 -2580 2220 2780 2596 2412 2408 -2604 2516 2384 2468 -2384 2512 2340 2636 -2284 2264 2796 -2768 -2544 2748 2688 -2412 2628 2300 2236 2260 -2220 -2820 -2260 2268 2448 2660 -2380 2820 -2540 2220 2440 -2328 -2364 2220 2584 -2432 -2548 2372 2220 -2532 -2364 2444 -2220 -2736 2228 2416 -2820 -2548 2720 2260 2476 2412 2484 2492 2512 -2612 2292 -2220 -2260 -2292 2264 -2792 -2532 2456 -2660 2772 2572 -2692 -2584 -2612 -2820 2780 -2344 -2524 2756 2600 2220 2260 -2564 -2704 -2336 -2608 2468 2692 -2384 2780 2644 -2356 2564 -2560 2284 2620 -2572 -2432 2820 2468 2780 -2260 2220 2472 -2532 2220 2748 2536 -2312 -2360 2472 -2644 2400 2600 2220 2220 2352 2520 2272 2300 2780 -2764 2428 2408 2272 -2348 -2436 -2820 -2308 -2268 2552 2804 2476 2400 2672 -2284 2560 2388 2788 2636 -2580 2536 -2760 -2636 -2808 2408 2576 2640 2288 2220 2220 -2428 2472 -2548 2568 2676 2684 2776 -2308 2260 2260 2448 2636 -2628 2348 -2380 2220 2748 -2512 -2348 2336 2256 -2820 -2364 2408 -2316 -2440 2516 2524 2316 -2348 2468 2416 -2668 2696 2492 2260 2220 -2588 2372 2224 2264 2552 -2260 -2780 2220 -2740 2560 2260 2244 -2548 2632 -2784 -2572 2712 2692 -2504 2260 2800 2220 2780 -2472 -2260 -2480 -2268 2764 2260 2640 2400 2312 -2608 -2820 -2288 -2692 2800 -2296 2500 -2820 2352 2780 2428 2696 2772 -2532 2732 2308 2500 2616 2564 2648 2344 2756 2628 2404 -2224 2820 2220 2276 2220 2264 -2612 -2760 2692 2440 -2524 2596 -2396 2340 -2496 2668 2792 -2292 -2416 2648 -2220 2640 -2260 -2236 2780 2272 2780 2672 2720 2540 2572 2508 -2692 2220 -2664 -2280 2304 2288 2496 2644 2416 -2644 2576 -2396 2616 2480 2772 -2600 2264 2668 2220 2360 -2680 2284 2520 2616 -2260 -2368 2508 -2820 2220 -2576 2780 2604 -2572 -2304 -2260 -2236 -2380 -2624 2728 -2700 2372 2408 2328 2340 2820 -2636 -2820 -2764 2368 2312 -2768 -2540 2448 2260 -2720 -2220 -2600 -2444 -2260 -2664 -2612 2352 2712 2468 2788 -2500 -2692 2492 2748 2680 -2408 2808 2596 2336 -2820 -2688 2568 2416 2220 -2220 2500 -2512 -2224 2724 -2820 2232 2532 -2224 -2768 2416 2568 2308 2500 2544 2568 -2532 2668 2780 -2400 2452 2272 2352 2224 2724 2608 -2760 -2220 2464 -2304 2312 -2420 -2540 -2652 2220 2260 -2612 2392 2472 2724 2472 2260 2396 2408 2296 2628 2552 2496 2804 2744 -2448 2520 -2480 2648 2260 -2580 -2780 -2604 2232 2732 2532 -2592 2464 2780 2384 2264 -2220 2780 2564 2252 2556 2640 -2528 2260 2500 2648 2244 2632 2752 2460 2564 2220 2252 2620 -2440 -2468 2232 2748 2448 2304 2332 2260 2280 2588 -2636 -2432 -2316 2360 -2280 -2492 2260 -2276 -2352 2240 2336 2260 2388 -2780 2308 -2756 -2260 -2544 -2408 -2376 -2248 2820 2820 2488 2596 2788 2580 2220 2668 -2480 2228 2408 2260 -2648 -2352 2260 -2608 -2452 2440 2220 2780 2780 2532 2220 2392 2236 2536 2220 -2524 -2696 2768 -2220 -2528 2540 -2476 -2220 2272 2260 -2580 2732 2488 2264 -2260 -2448 2604 2356 -2780 -2476 -2440 -2576 2220 2360 2612 -2820 2220 -2676 -2692 -2260 2312 2744 2820 -2548 -2480 2440 -2220 2260 2220 2768 2504 2508 2788 2468 2764 2528 2444 2324 2592 2400 2232 2296 2276 2452 2336 -2732 2760 -2820 -2688 2364 -2436 2556 2660 -2660 -2780 -2516 2288 2260 2368 -2432 2436 2776 -2608 -2504 -2500 -2580 2220 -2320 2232 2260 2768 2220 2564 -2752 -2516 2220 2436 2564 2604 2796 2744 2376 2456