Name | csp/fapp/fapp14/ normalized-fapp14-2500-9.xml |
MD5SUM | 82e6ad1aef50625fbf6be40e28789b38 |
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 | 1515.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2500 |
Number of constraints | 40767 |
Maximum constraint arity | 2 |
Maximum domain size | 362 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 40767 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 ESAC (complete) | 2097894 | SAT | 1515.09 | 1515.86 |
Abscon 112v4 AC (complete) | 2097893 | SAT | 1529.19 | 1536.73 |
Sugar v1.14.6+picosat (complete) | 2083841 | ? | 483.035 | 497.878 |
Sugar v1.14.6+minisat (complete) | 2083842 | ? | 487.564 | 502.924 |
Concrete DC 2009-07-14 (complete) | 2083839 | ? | 564.528 | 569.779 |
SAT4J CSP 2.1.1 (complete) | 2083835 | ? | 999.751 | 1003.13 |
bpsolver 09 (complete) | 2083845 | ? (exit code) | 16.0166 | 16.1459 |
Concrete 2009-07-14 (complete) | 2083838 | ? (exit code) | 609.433 | 613.826 |
Mistral 1.545 (complete) | 2083844 | ? (TO) | 1800.07 | 1807.92 |
pcs-restart 0.3.2 (complete) | 2083837 | ? (TO) | 1800.14 | 1811.45 |
pcs 0.3.2 (complete) | 2083836 | ? (TO) | 1800.15 | 1808.65 |
Choco2.1.1 2009-06-10 (complete) | 2083840 | ? (TO) | 1800.19 | 1801.13 |
Choco2.1.1b 2009-07-16 (complete) | 2116858 | ? (TO) | 1800.28 | 1807.3 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2100 2148 -2656 -2548 2556 2064 -2100 -2056 -2740 2040 2720 2060 2584 -2040 2580 -2472 2636 -2388 2212 2020 -2072 -2488 2456 -2108 2348 -2328 2676 2588 2404 -2060 -2512 2656 -2208 -2312 -2568 2668 2400 2728 -2524 2068 2644 -2076 -2488 2248 2596 2700 2704 2020 2384 -2064 2048 -2444 -2480 2672 -2384 -2084 -2716 2368 -2712 -2248 2080 -2612 2400 -2288 -2328 -2396 -2700 -2696 2084 -2700 -2724 -2580 2280 2696 -2392 -2640 -2036 -2056 2060 -2576 -2700 2608 -2660 -2404 -2644 -2472 -2088 -2400 -2704 -2492 2032 2548 2572 2696 -2696 2140 2448 -2192 -2100 2632 -2320 2240 -2288 -2040 2020 -2536 -2592 2468 2612 2120 -2168 2668 -2060 -2176 2372 -2400 2072 2124 2684 2160 2644 -2488 2564 -2576 2304 -2476 2476 -2704 -2096 2580 2408 -2720 2020 2248 2660 -2120 2732 2736 2484 -2060 -2580 2672 2448 -2528 -2084 -2608 -2740 -2020 2576 -2092 -2048 -2428 -2376 2396 2404 2304 2060 2600 -2440 2528 2304 -2632 -2740 -2716 -2684 2328 2440 -2388 2620 -2516 2304 2232 -2172 -2700 -2204 2696 -2304 -2428 -2468 -2116 -2628 -2740 -2124 -2724 -2460 -2544 2064 -2484 -2288 2300 -2148 -2096 2636 -2156 -2672 -2652 -2288 -2296 -2084 -2500 2512 2688 -2680 -2720 2156 -2056 -2504 2676 -2060 2040 2596 2028 2140 2220 -2384 -2460 -2636 -2344 2736 -2020 -2328 2664 -2456 2644 2232 -2580 2160 2672 2220 2504 2360 -2472 -2472 -2208 -2560 -2240 -2024 -2036 -2680 2580 2464 2712 -2328 2584 -2216 2704 -2464 2476 -2676 2604 -2572 -2388 2536 2452 -2400 -2700 -2368 -2164 -2560 -2380 2336 -2060 -2484 2288 2020 2632 2740 2508 2304 2424 2456 2020 -2240 2740 -2284 2064 2244 -2060 -2684 -2700 -2208 -2720 2168 -2060 2484 2596 -2608 2556 2476 2424 2036 2676 2616 -2484 2448 -2724 2024 2380 -2084 2260 2600 2028 -2636 2452 2084 2372 2700 -2252 -2700 -2288 2160 2612 -2096 -2740 -2640 2480 2464 -2020 2312 2376 2612 2636 2108 2188 -2388 2052 -2060 2572 -2740 -2676 -2508 -2576 2060 2408 2076 2512 -2672 -2064 2676 -2544 2560 -2728 -2536 2676 -2200 -2228 -2564 -2060 -2496 -2344 -2336 -2556 -2620 -2316 2412 2632 -2156 2684 -2660 -2260 2592 -2324 -2096 -2604 2360 -2584 2252 -2224 2036 2596 -2140 2724 -2604 -2668 -2740 -2556 -2140 2672 2020 -2448 -2156 2464 -2412 2212 -2700 -2104 -2192 -2336 2080 -2288 -2420 2696 -2572 -2592 -2740 -2740 -2576 2632 -2224 -2164 -2548 -2740 -2340 -2564 2236 2428 -2444 2600 -2056 2576 -2176 2364 -2512 2472 2584 2108 -2676 -2444 -2244 2164 2740 -2504 -2060 -2704 -2076 -2488 -2640 -2700 -2284 -2220 2684 -2184 -2600 -2640 2476 -2060 -2720 2672 -2728 2628 -2140 2484 2700 -2356 2592 2072 -2028 -2372 -2068 -2732 -2180 -2700 -2296 -2736 2264 -2532 2408 2684 -2464 -2044 -2324 -2684 2156 -2204 -2020 2624 2416 2060 -2688 2320 2332 2484 -2676 -2308 -2424 2524 -2208 2232 -2416 2408 2688 -2448 -2320 -2740 2036 -2220 2568 -2524 2552 -2380 2464 -2160 2516 -2060 -2020 -2332 2048 2304 -2560 -2192 -2280 -2556 2076 -2024 -2132 -2384 -2060 -2432 -2324 2652 -2416 2284 -2616 -2032 2020 -2152 -2568 2400 2296 -2460 -2160 -2456 2368 -2636 -2480 -2736 -2244 2140 -2484 -2720 2308 -2168 2600 -2316 -2028 -2160 2480 2444 -2684 -2064 2132 -2628 -2672 -2592 2376 2524 -2676 2184 2020 -2600 -2060 -2508 -2336 2020 -2420 -2208 2488 -2360 -2724 -2532 -2740 -2100 2540 2664 -2584 2200 -2072 -2372 2112 -2376 2376 -2592 -2088 2440 2236 -2672 -2640 2024 2080 -2284 -2228 -2500 2544 -2428 2704 2292 -2140 2296 -2436 -2144 2316 2060 -2700 -2288 -2456 -2084 2664 2616 -2596 -2296 -2616 -2092 -2160 -2284 2036 -2248 -2720 2572 -2136 2392 -2512 2108 2348 -2208 -2360 2528 -2132 2208 2384 2368 -2704 2020 -2424 -2728 -2632 2240 -2420 -2204 2336 -2380 2664 -2296 -2140 -2700 -2384 2500 2536 2168 2664 -2628 -2456 -2356 2128 -2316 2740 2552 2152 2668 2620 2668 -2540 2652 2676 2116 2456 -2560 2364 -2488 2060 -2208 -2636 2600 2512 2040 2696 2140 -2240 2216 2412 -2144 2724 2268 -2328 -2352 -2384 2636 -2024 2660 2564 2688 -2252 -2428 2432 2344 -2684 -2132 -2384 2248 -2248 2452 2440 -2732 -2352 -2716 -2068 -2536 -2196 -2252 -2524 -2468 -2740 -2264 -2256 -2080 -2464 -2216 -2188 2556 -2200 -2244 2368 -2672 2140 -2340 2020 2444 2164 2720 2236 -2096 -2696 2408 2596 -2100 -2704 -2500 2464 2136 -2288 2556 -2504 2612 -2120 2280 2700 -2632 2268 -2476 -2732 2492 2604 2712 -2084 -2116 2180 2296 2160 -2676 2324 -2692 -2136 2692 2348 -2108 -2064 -2060 -2200 2628 2180 2668 2168 -2080 -2164 2320 2404 2508 -2020 2640 -2636 2740 2204 2024 -2428 2308 -2392 -2300 2492 2572 2196 2608 -2392 -2660 -2068 2384 2064 -2136 -2060 -2124 -2404 2700 2632 2604 -2224 -2520 2644 2364 2556 2540 2388 2684 2300 -2344 2212 2184 -2636 2588 -2404 -2352 2044 2248 2284 -2056 -2356 2264 2260 -2084 -2324 -2684 -2232 -2280 -2684 -2484 -2700 -2232 -2168 2020 2124 -2408 2088 -2576 -2684 -2516 -2720 -2364 -2276 2060 2360 -2444 2236 2356 2552 -2636 2276 -2700 2700 2504 -2692 2592 2256 2404 2028 -2620 -2164 -2664 2588 -2288 -2276 -2624 2536 -2064 -2364 -2700 2036 -2560 2352 2476 -2172 2256 -2420 2172 -2524 2692 -2508 -2384 2064 2096 2120 -2060 -2060 -2532 2628 -2740 -2020 2408 -2280 -2432 -2700 -2704 -2344 -2160 -2540 2116 -2284 -2220 2272 2120 -2616 -2164 2216 2384 -2020 -2092 2080 -2656 -2188 -2448 -2508 2068 -2048 -2240 2024 -2716 -2524 -2728 -2540 -2692 2192 -2488 -2136 -2692 2252 -2672 2700 2732 -2516 2704 -2524 -2332 2724 2508 2556 -2304 -2588 -2116 -2272 -2136 2072 2144 -2076 2312 -2076 2600 -2228 -2544 -2028 -2568 -2736 -2476 2576 -2116 -2612 -2308 -2584 -2716 2272 2684 2044 -2076 -2288 2124 -2680 -2024 -2340 2740 2076 -2168 -2192 -2396 2412 -2700 -2320 -2700 2400 -2604 2520 -2576 2644 -2248 2436 -2440 -2180 -2448 -2600 2280 2060 2060 -2164 2180 -2468 -2660 -2668 -2200 -2092 -2700 -2716 -2736 -2584 2332 2712 2400 -2264 2372 2648 -2608 2068 -2712 -2524 2676 -2676 -2308 -2640 2308 2616 -2592 2464 2220 -2700 2088 -2124 2684 2308 -2572 2728 2020 -2316 -2688 -2740 -2216 -2480 -2560 2688 2576 -2204 -2740 2676 -2252 2420 -2420 -2324 -2400 2180 -2352 2148 -2248 -2740 -2124 -2140 -2732 -2648 -2504 -2108 -2020 2620 -2544 -2416 2692 2424 -2656 -2196 2396 -2344 -2676 -2560 -2664 -2584 -2652 2604 -2196 -2692 -2700 -2188 -2312 2020 -2136 -2692 -2320 2060 2088 -2228 -2588 -2544 -2020 2596 2604 2132 2700 -2316 -2452 2060 -2700 -2080 -2168 -2532 -2740 2636 2400 2632 2036 -2500 2288 -2180 2332 2276 -2564 2520 2036 -2352 2124 -2116 -2364 -2124 -2220 -2576 -2740 -2056 -2388 2580 -2384 2588 -2132 -2544 -2720 -2580 2028 2632 -2692 2060 -2216 2580 2556 2216 2336 -2700 -2740 -2652 2228 2508 -2044 2292 -2200 -2396 -2444 -2464 -2648 2440 -2204 2108 -2096 2128 -2620 2528 -2060 2280 -2572 -2316 2740 -2028 -2600 2736 2344 -2524 -2068 -2664 -2596 -2432 2464 -2348 -2700 2536 2392 2468 -2652 2528 2348 -2540 2104 -2428 -2148 2600 2700 2708 2572 -2640 2600 -2716 2468 2624 2684 -2584 2596 -2712 -2576 2560 2272 2424 -2632 2656 -2532 2560 -2060 -2208 -2564 -2740 -2528 -2740 -2388 -2716 -2176 2564 2124 2504 -2068 -2020 -2208 -2068 2308 -2152 2160 -2132 2132 2472 -2700 -2700 -2624 2684 -2168 2704 2132 -2696 2676 2412 -2440 2144 -2708 -2612 2216 2116 -2356 2680 -2680 -2060 -2740 2484 -2280 2632 -2152 -2624 2256 -2544 -2316 -2060 -2556 -2248 -2404 2044 -2740 -2580 2536 2136 -2140 2600 -2232 2692 2472 2068 -2612 2440 -2560 2112 -2168 2060 -2456 2340 -2396 -2340 2348 -2664 -2368 -2060 -2280 2020 -2272 -2352 2584 2208 2208 2332 -2328 -2684 -2100 2180 2612 -2620 2068 -2444 2020 -2576 -2740 -2484 -2444 2044 2708 -2504 -2368 -2060 -2020 2616 -2020 2244 -2728 -2640 -2492 -2132 -2488 2052 -2076 -2512 2076 2080 -2168 -2536 -2444 2180 -2536 -2212 -2232 2672 -2460 -2060 2560 2644 2096 -2544 2328 2424 -2492 2360 -2276 2028 2068 2248 2060 2468 2248 -2360 2020 2616 -2356 -2312 2160 -2336 2488 -2420 -2580 -2464 -2020 -2660 -2088 2628 -2400 2724 2328 -2684 2348 2168 -2320 -2436 2632 2216 -2692 -2524 -2364 2564 -2268 -2568 2176 -2332 -2652 2352 2440 2620 -2136 -2700 2120 2656 -2740 -2272 -2280 2236 -2036 2376 -2436 -2604 -2460 -2440 -2228 -2252 2444 -2664 -2380 -2232 -2020 -2080 -2424 -2208 -2224 -2076 2704 -2192 2264 2104 -2088 -2688 -2064 2532 -2068 -2548 -2696 -2696 2468 -2724 -2468 2680 -2708 2264 2020 2280 2716 2232 -2360 -2128 -2328 -2652 -2136 2384 -2740 2260 -2352 -2320 -2340 2512 -2036 -2096 -2344 -2412 2320 -2472 -2588 -2076 -2584 -2188 -2724 2428 2148 -2188 2640 2624 2184 -2624 -2620 2652 -2700 2448 -2172 -2348 -2372 -2208 -2068 -2736 -2316 -2568 -2632 -2444 -2568 2660 -2584 -2740 -2624 2564 2120 -2740 -2244 2540 -2176 -2508 2408 2216 -2564 -2700 -2076 -2612 2328 -2628 -2168 -2724 2020 -2152 -2568 2512 -2680 -2648 2020 -2164 -2456 2648 2380 -2344 -2036 -2068 2204 2464 -2128 -2292 2520 -2516 -2672 -2700 -2392 -2332 2676 -2636 2584 2060 2228 -2640 2484 -2492 -2380 2724 -2724 -2172 -2120 -2240 -2628 -2676 2520 2696 -2520 -2612 -2644 2620 2668 2488 -2324 -2504 2080 -2620 -2724 -2564 -2364 -2636 2668 2700 -2492 2020 -2260 -2484 2684 -2072 -2020 -2664 -2112 -2288 -2100 2384 -2672 2296 2452 2020 2656 -2652 -2684 -2508 -2248 -2524 -2544 -2484 -2452 -2256 2740 -2416 -2264 2616 -2336 -2604 2700 2400 -2112 -2680 -2392 -2700 -2692 2472 2068 -2680 2360 -2732 2684 -2124 2040 -2536 -2536 -2436 -2568 -2440 -2740 2684 -2336 2740 -2200 2676 -2608 2188 -2740 2520 2124 -2048 -2140 2308 -2680 -2196 2532 -2740 2080 2336 -2496 -2684 2040 -2668 2084 -2412 2516 2424 2020 -2352 -2320 -2740 2368 -2284 -2632 -2680 -2628 -2324 -2148 2296 2020 2020 -2688 -2688 2356 2188 -2324 2700 -2624 -2224 2328 -2616 2076 2624 2724 -2216 2360 -2700 -2180 -2152 2148 2444 -2496 -2184 2464 -2696 -2268 -2272 -2356 2636 -2192 -2704 2584 2524 -2136 2300 -2640 -2060 2252 -2632 -2424 -2284 -2020 -2080 2600 2188 -2296 2080 2608 2384 -2556 -2400 2496 -2052 -2108 -2544 2740 -2356 -2576 -2348 2112 2700 -2604 -2508 2544 -2352 2284 -2440 2352 2344 2716 -2700 -2156 -2128 -2092 -2352 -2696 -2728 -2096 -2400 -2040 -2576 2076 -2740 -2576 2344 -2724 2332 2084 -2408 -2208 -2560 2348 -2688 -2156 2684 2276 -2436 2436 -2552 2020 -2168 2516 2740 -2116 2164 2592 -2568 -2564 2264 -2664 -2672 -2060 -2348 -2092 -2176 -2700 2200 -2092 -2456 -2496 2364 2396 -2060 2216 -2520 -2548 -2464 -2660 2468 2024 -2712 -2060 2424 -2596 -2228 -2700 2276 -2060 2392 2208 2328 -2728 -2392 2480 -2024 -2020 2680 -2120 -2188 2608 -2256 2508 -2700 -2368 -2460 -2700 -2120 -2200 -2320 -2380 2240 -2204 -2344 2656 -2060 -2236 2348 -2260 -2704 2580 -2220 -2700 -2396 -2236 2632 2700 2740 2488 2108 2020 -2632 -2724 2020 2740 2572 2044 -2740 -2584 -2448 2664 -2504 -2592 2088 -2240 -2308 2412 -2504 -2404 2352 -2660 -2108 -2060 2308 -2244 2432 2296 -2504 -2620 -2452 -2444 2020 2692 2652 2244 -2564 -2020 2648 -2064 2500 2160 2740 2432 -2700 -2068 2628 -2176 2488 2424 -2496 -2700 2656 -2616 -2516 -2200 -2620 2724 2104 -2512 -2700 -2148 -2268 2740 -2604 2304 2084 -2740 2700 2644 -2664 2700 2584 2060 2320 -2520 2224 -2656 -2144 2160 -2496 2520 -2740 -2620 -2700 -2668 2068 -2556 -2656 -2652 -2080 2468 -2176 2076 -2192 2580 2464 -2304 -2360 -2396 2300 2576 2160 -2256 -2600 2120 2092 -2580 2372 -2256 -2308 2572 -2332 -2728 2436 -2464 -2316 2700 -2020 -2660 -2092 -2028 2048 2520 2700 2572 2572 -2688 2584 -2688 -2644 -2024 -2372 -2516 -2080 2040 -2540 -2104 -2624 -2528 2232 2688 2024 -2544 -2256 -2548 -2228 2628 -2656 -2688 2040 2700 2656 2180 -2296 2124 -2244 2324 2532 -2580 -2692 2060 -2248 2732 -2504 -2660 2548 2600 2448 2616 2364 -2612 2100 -2588 2196 2576 2048 -2352 2020 2700 -2060 2624 2268 2068 2652 2476 -2612 -2060 -2284 -2060 2084 -2536 -2556 2072 -2268 2408 -2596 -2604 2284 -2716 2356 -2616 2472 -2148 2624 -2544 -2488 2740 -2324 -2584 -2160 -2044 2424 -2064 -2612 2544 -2680 2092 2660 -2652 -2504 -2112 -2448 2088 2120 2700 2060 -2404 2024 2020 2664 -2216 -2084 -2620 -2312 -2700 -2616 2524 2204 -2032 -2176 2284 2688 2156 -2140 2700 2384 -2540 -2516 2648 -2396 -2100 -2388 -2416 2032 2308 2660 2200 -2164 -2028 -2180 2700 -2664 2448 -2320 -2540 -2256 -2156 -2060 2716 -2436 -2696 -2584 -2496 -2576 2064 -2060 -2680 2480 -2220 2676 -2060 2700 -2104 -2060 -2232 2116 -2396 -2568 2452 -2596 -2132 2540 2248 -2652 -2604 -2204 -2196 2464 -2404 2308 2184 -2552 2452 -2500 2036 2044 2096 -2128 2512 2608 -2544 -2696 2692 -2076 2060 -2064 2168 -2052 -2164 2592 -2740 2176 2220 -2360 -2368 -2316 -2672 -2348 2684 -2424 -2680 -2680 -2652 2580 2492 2072 -2712 -2256 2572 2020 2292 -2656 2040 -2564 -2308 2424 -2344 2240 -2452 2360 2500 -2340 -2092 -2248 2688 -2644 2740 -2572 -2208 2060 -2200 2296 -2176 -2060 2428 2020 -2080 -2020 2632 -2608 -2508 -2584 -2700 -2596 -2556 2496 -2156 -2676 -2620 2416 2060 2712 -2552 2104 -2444 -2648 -2132 -2344 -2076 -2128 -2640 -2264 2220 -2364 -2060 2212 -2336 -2088 2508 -2700 -2672 2312 2552 2356 -2064 2436 2488 -2308 2640 -2188 2100 2304 -2424 -2260 -2204 -2500 2692 -2608 2600 2532 2360 -2700 -2672 2528 -2580 -2648 -2468 -2060 -2596 -2716 -2128 -2680 -2368 2660 -2500 2628 -2404 2616 2168 -2160 -2296 2640 -2404 -2612 -2308 -2612 -2428 2544 -2068 -2632 -2108 -2028 2676 2296 -2320 2448 2672 -2496 -2500 2560 -2436 2384 -2200 -2528 2228 2104 2596 -2216 2300 -2028 2648 2020 2120 2212 2064 -2320 2640 -2152 -2688 2664 -2096 -2724 -2328 -2484 2556 2512 -2400 -2456 2724 -2268 -2292 -2660 2224 -2672 2704 2392 2336 -2212 -2468 -2700 2620 -2700 -2724 -2716 2588 -2640 2448 2176 -2532 -2136 -2060 -2392 2172 -2020 -2660 -2636 2244 -2276 2620 -2288 -2060 -2112 -2060 2060 -2672 2312 -2220 -2660 -2228 -2108 -2740 2600 2164 -2504 -2532 2656 -2460 2096 -2548 -2024 -2304 -2024 2020 2296 2544 2348 -2240 2664 -2316 2288 -2256 -2724 -2416 -2436 -2504 -2448 2612 -2512 -2060 2476 -2084 -2688 -2196 -2240 -2360 2020 2712 -2408 -2580 2020 2708 2128 2652 -2516 -2676 -2668 -2472 -2336 2432 -2108 -2244 2456 -2480 2424 2648 2224 -2120 -2436 -2360 2292 2484 -2232 -2400 2064 -2696 -2436 -2180 2244 2476 -2688 2144 -2492 2280 2128 -2508 -2416 -2436 -2584 2152 -2468 -2020 2260 2644 -2572 2604 2324 2636 -2172 2212 -2208 2596 -2264 -2724 -2064 2604 -2172 2740 -2436 -2192 -2668 -2500 -2400 -2716 2536 2020 2112 -2116 -2732 2576 -2740 -2548 2560 -2120 -2172 -2052 -2272 2604 2484 2376 2476 -2504 -2740 2176 -2472 -2020 -2536 -2728 2168 2020 2668 -2524 2020 2532 2628 -2212 2020 -2604 -2380 -2096 2688 -2468 2692 -2440 2588 -2408