Name | csp/fapp/fapp24/ normalized-fapp24-2000-9.xml |
MD5SUM | 5949c8c2a580bb7d18408c509e0c687a |
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.1806 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 26753 |
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 | 26753 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097843 | SAT | 29.1806 | 29.4979 |
Abscon 112v4 ESAC (complete) | 2097844 | SAT | 29.2026 | 29.5099 |
Concrete DC 2009-07-14 (complete) | 2083564 | ? | 255.318 | 255.437 |
Sugar v1.14.6+picosat (complete) | 2083566 | ? | 311.121 | 320.354 |
Sugar v1.14.6+minisat (complete) | 2083567 | ? | 319.881 | 328.63 |
SAT4J CSP 2.1.1 (complete) | 2083560 | ? | 500.93 | 505.497 |
bpsolver 09 (complete) | 2083570 | ? (exit code) | 11.4803 | 11.9494 |
Concrete 2009-07-14 (complete) | 2083563 | ? (exit code) | 307.34 | 307.496 |
Mistral 1.545 (complete) | 2083569 | ? (TO) | 1800.07 | 1807.42 |
pcs-restart 0.3.2 (complete) | 2083562 | ? (TO) | 1800.07 | 1801.25 |
pcs 0.3.2 (complete) | 2083561 | ? (TO) | 1800.16 | 1804.05 |
Choco2.1.1 2009-06-10 (complete) | 2083565 | ? (TO) | 1800.17 | 1804.34 |
Choco2.1.1b 2009-07-16 (complete) | 2116833 | ? (TO) | 1800.22 | 1803.52 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2220 -2412 -2436 -2368 -2400 -2428 -2564 -2208 -2460 -2640 -2584 -2448 -2668 -2480 -2164 2676 -2120 -2424 -2236 -2440 -2388 -2680 -2436 -2232 -2720 -2668 -2256 -2360 2552 2204 -2176 -2180 -2536 2592 2352 -2664 -2524 -2120 -2596 -2368 -2720 -2488 -2636 -2320 -2512 2396 -2316 -2676 -2516 -2240 2584 2708 -2268 -2292 -2172 -2592 -2332 -2124 -2464 -2680 -2272 -2612 -2212 -2316 -2372 -2540 2140 2176 -2224 -2416 -2456 -2720 -2160 -2296 -2420 -2524 -2544 -2344 2564 -2252 -2564 2552 -2656 2680 -2648 -2660 -2524 -2544 -2628 -2284 -2600 -2652 -2264 -2712 -2292 -2416 -2472 -2412 -2720 -2176 -2660 -2408 -2496 -2612 -2428 -2208 -2540 -2444 -2292 -2252 -2336 -2328 -2252 -2276 -2264 2716 -2468 -2468 -2440 -2128 -2452 -2120 2120 -2308 2424 -2260 -2492 -2332 -2572 -2588 -2688 -2312 -2564 -2680 -2216 -2704 -2460 -2400 -2332 -2540 -2528 -2536 -2320 -2296 2568 -2476 -2160 -2320 -2496 -2672 2524 -2460 -2452 -2312 -2476 2624 -2312 -2248 -2140 -2236 -2200 -2276 -2300 -2628 -2300 -2332 -2260 -2520 -2712 -2528 -2452 2688 -2564 -2248 2632 -2188 -2720 -2380 -2572 2316 -2392 -2612 -2664 2532 -2128 -2272 -2308 -2180 -2604 -2200 -2576 -2432 -2696 -2308 -2632 -2684 2700 2612 -2356 -2172 -2380 -2384 -2500 -2412 -2164 2160 -2668 -2216 -2544 -2644 -2360 -2160 -2588 -2492 -2708 -2300 -2204 -2216 -2608 -2452 -2260 -2668 -2204 -2400 -2488 -2700 -2720 -2372 -2292 -2720 -2640 -2212 -2680 -2364 -2524 -2156 -2296 2484 -2488 2432 -2368 -2328 -2192 2260 -2264 -2472 -2608 -2172 -2380 -2536 -2476 -2660 -2176 -2720 -2184 -2308 2364 -2236 -2464 -2608 -2720 -2148 -2368 -2552 -2708 -2708 -2296 -2568 2540 -2400 -2448 -2176 -2156 2668 -2184 -2180 -2252 -2416 -2236 -2676 -2300 -2492 -2292 -2296 -2660 -2160 -2272 -2148 2508 -2272 -2680 2160 -2236 -2536 -2328 -2504 -2292 -2456 2300 -2164 -2176 -2540 -2576 -2160 -2256 2128 -2624 -2440 -2668 -2608 -2480 -2312 2120 -2420 -2376 -2368 2184 -2552 -2240 -2328 -2176 -2292 -2420 -2516 -2156 -2648 -2300 -2332 -2544 -2512 -2228 -2220 -2352 -2564 -2432 -2304 -2488 -2632 -2388 -2540 -2304 -2176 -2384 -2368 -2276 -2176 -2384 -2668 -2216 -2456 -2676 -2252 2672 -2200 2284 -2172 -2252 2340 2120 -2696 -2620 -2160 -2332 -2160 -2364 -2232 -2180 -2196 -2528 2484 2228 -2220 -2260 -2320 -2136 -2392 -2696 -2408 -2680 -2584 -2276 -2120 -2324 -2264 -2308 -2328 -2608 -2220 -2268 -2720 -2344 -2512 -2496 -2564 -2136 -2424 -2492 -2632 -2324 2316 -2396 -2504 -2676 -2592 2580 -2580 -2196 -2608 -2184 -2344 -2620 -2316 -2328 -2420 -2168 -2200 -2184 -2492 -2344 2532 -2640 -2592 -2408 -2324 -2332 -2380 -2668 -2320 -2604 -2436 -2548 -2720 -2492 2720 -2208 2544 -2480 -2260 -2680 -2544 -2616 -2160 -2544 -2416 -2164 -2500 -2644 -2472 -2468 -2412 -2676 -2660 -2596 2360 -2172 2344 2456 -2680 -2720 -2276 2220 -2196 -2716 -2228 2672 -2516 -2132 -2160 -2328 -2476 -2396 -2680 -2220 -2152 -2476 2176 -2520 -2188 -2304 -2528 -2276 -2352 -2616 -2192 -2668 -2652 -2424 -2180 -2192 -2208 -2628 -2160 2268 -2392 -2228 2508 -2552 -2376 -2324 -2360 -2412 -2536 -2560 -2720 -2284 -2140 -2288 2616 -2132 -2356 -2524 -2352 -2480 -2444 -2144 -2548 -2416 -2120 -2312 -2424 -2540 -2236 -2584 -2388 -2608 -2320 -2168 -2216 -2336 -2384 2220 -2672 -2120 -2516 -2184 -2416 -2308 -2360 -2120 -2420 -2548 -2328 2160 -2148 -2244 -2168 -2680 -2156 -2588 -2720 -2204 -2572 -2568 -2128 -2292 -2284 -2160 -2404 -2632 -2400 2640 -2676 -2512 -2364 2288 -2504 -2440 -2220 2264 -2680 -2320 -2156 -2624 2412 -2708 -2708 -2524 -2680 -2512 -2204 -2372 -2404 -2532 -2660 -2432 -2208 -2296 -2124 2172 2720 -2480 -2400 -2428 -2668 -2480 -2228 -2396 -2492 -2220 -2244 -2680 -2432 -2384 -2176 -2548 -2672 -2680 2672 -2244 -2704 -2168 -2428 2644 -2616 -2416 -2288 2592 -2312 -2524 -2516 -2216 -2396 2656 2260 -2540 -2188 -2524 -2556 -2176 -2596 2648 -2560 -2672 2664 -2552 -2256 -2248 -2440 2484 -2328 -2276 -2168 -2296 -2684 -2132 -2372 -2304 2236 -2136 2688 -2600 -2564 -2284 2560 -2160 -2400 2160 -2620 -2276 -2316 2256 -2580 2632 -2696 -2680 -2408 -2200 -2124 -2660 -2652 -2396 -2632 -2312 -2176 -2256 -2392 -2176 -2200 -2120 2432 -2540 -2408 -2492 -2120 -2324 -2508 -2352 -2316 -2236 -2448 -2680 -2128 2648 -2680 -2356 -2348 -2448 -2556 -2484 -2680 2452 2296 -2256 -2284 -2480 -2256 -2592 -2680 -2176 -2324 -2160 -2504 -2396 -2520 -2220 -2120 -2240 -2336 -2492 -2136 -2576 -2132 -2492 -2152 -2544 -2500 -2220 -2648 -2400 -2268 -2380 -2556 -2260 -2716 -2220 -2600 -2284 -2720 -2292 -2248 -2180 -2356 -2420 -2268 -2220 -2536 -2624 2408 -2624 -2636 -2120 -2244 -2524 -2248 -2584 -2492 -2588 -2136 -2160 -2400 -2620 -2316 -2628 -2252 -2676 2452 -2132 -2332 -2536 -2364 -2488 -2424 -2720 -2440 -2288 -2288 -2136 2680 -2412 -2660 -2628 -2532 -2432 -2272 -2308 -2232 -2256 -2280 -2120 -2532 -2244 -2396 -2620 2268 -2164 -2264 2472 -2476 2444 -2720 -2400 -2636 -2260 -2648 -2180 -2680 -2172 2532 -2120 -2700 -2580 -2224 -2316 -2472 -2188 -2704 -2496 -2620 -2176 -2196 -2312 2396 -2168 2172 -2164 -2472 2228 -2120 -2272 -2660 -2380 -2672 -2700 -2492 -2280 2428 -2680 -2136 -2700 -2188 -2672 2608 -2536 -2184 -2496 -2268 -2576 -2636 -2160 -2152 -2504 -2164 -2276 -2584 -2160 -2132 -2460 -2548 -2524 -2464 -2556 -2624 -2220 -2260 2564 -2256 -2596 -2304 -2304 -2372 -2248 -2660 -2404 -2360 -2720 -2688 -2300 2176 -2256 -2204 -2224 -2440 -2160 -2120 -2536 -2484 -2432 -2180 -2672 -2720 -2680 -2460 -2332 -2576 -2292 -2700 -2120 -2416 -2720 2168 -2544 -2392 -2496 -2368 -2416 -2204 -2540 -2680 -2136 -2260 2120 -2268 -2456 -2240 -2280 -2280 -2192 -2160 -2136 2720 -2720 2396 -2160 -2564 -2512 -2480 -2516 -2372 -2612 -2196 -2620 -2384 -2708 -2344 -2424 -2304 2612 -2172 2368 -2120 -2488 2456 -2188 -2284 -2208 -2580 -2376 -2608 2680 -2720 -2340 -2700 -2360 -2288 -2576 -2356 -2380 -2404 -2448 -2216 -2260 -2720 -2464 -2512 -2292 2136 -2288 -2680 -2660 -2404 -2564 -2500 -2680 2708 -2720 -2348 2420 -2340 -2648 -2532 -2452 -2376 -2444 -2460 -2188 -2276 -2620 -2656 -2256 -2364 -2628 2456 -2208 -2420 -2348 -2676 -2384 -2144 2660 -2520 -2352 -2524 2516 -2276 -2160 -2428 -2400 2720 -2120 -2572 -2216 2452 -2412 -2184 -2120 -2632 -2120 -2120 -2632 -2408 2300 -2364 -2528 -2372 -2136 -2144 -2156 -2556 2236 -2500 -2592 -2528 2320 -2228 -2352 -2544 -2404 -2240 -2516 -2440 -2412 -2224 -2680 -2352 -2192 -2608 -2360 -2668 -2456 -2532 -2392 -2340 -2380 -2400 -2720 -2420 -2584 -2708 -2408 -2420 -2540 -2720 -2504 -2120 -2680 -2364 -2484 -2460 -2436 -2508 -2128 -2476 -2516 -2384 -2472 -2432 -2136 -2340 -2196 -2528 -2552 -2452 -2452 -2496 -2460 -2180 -2352 -2160 -2696 -2160 -2524 -2524 -2440 -2396 2488 2280 -2636 -2120 -2176 -2408 -2688 2664 -2468 -2668 -2460 -2720 -2152 -2528 -2716 2488 -2412 -2564 -2240 -2668 -2460 -2380 -2472 -2160 -2516 -2188 -2680 -2680 2628 -2296 -2476 2504 -2448 -2328 -2472 -2656 -2448 2420 -2176 -2480 -2292 2168 -2120 -2208 2132 -2720 -2436 -2424 -2180 -2452 -2552 -2148 -2316 -2608 -2416 -2120 -2552 -2548 -2540 2256 -2584 -2492 -2376 -2436 -2444 -2144 -2684 -2544 -2180 -2172 -2672 2500 -2708 -2396 -2584 -2720 -2660 -2668 2120 -2316 -2188 -2176 -2220 -2332 -2504 -2228 -2316 2332 -2552 -2424 -2516 2452 -2516 -2436 -2344 -2676 -2280 -2224 2144 -2664 -2720 -2192 -2576 2424 -2120 -2288 -2680 -2120 -2680 2640 -2460 -2416 -2232 -2188 -2292 -2560 2292 -2680 -2556 -2572 -2424 -2180 -2484 -2284 -2360 -2652 2492 -2320 -2500 -2176 2424 -2316 -2684 -2156 -2160 -2564 -2536 -2532 -2196 -2316 -2660 -2536 -2708 -2452 -2472 -2408 -2560 -2520 2456 2720 -2556 -2224 -2256 -2620 -2536 -2484 -2372 -2648 2568 -2660 -2420 -2440 2504 2356 -2268 -2492 -2248 -2196 -2272 2712 -2460 -2524 -2556 -2344 -2308 -2120 -2324 -2304 -2356 -2280 -2680 -2632 2372 2292 2160 -2620 -2616 -2380 -2132 -2136 -2648 -2460 -2188 -2168 -2632 -2444 -2512 -2312 -2220 2324 -2596 -2200 -2408 -2560 -2196 -2180 -2272 -2356 2460 -2276 -2384 -2328 -2248 -2568 -2172 -2700 -2720 -2340 -2456 -2328 2288 -2608 -2304 -2488 -2380 -2160 -2368 2572 -2688 -2240 -2428 -2588 -2712 2720 -2680 -2672 -2580 -2484 -2344 2216 -2184 -2636 -2328 -2604 -2456 -2672 -2464 -2172 2124 -2720 -2356 -2324 -2672 -2448 -2192 -2504 -2156 -2240 -2324 2672 -2660 -2540 -2368 2496 -2248 -2572 -2276 -2564 -2576 -2236 -2288 -2420 -2580 -2460 -2668 2632 -2492 -2204 -2472 -2120 -2660 -2568 -2424 -2720 -2680 -2264 -2584 -2592 2476 -2304 -2128 -2648 -2532 -2520 -2200 -2444 -2260 -2468 -2204 -2628 -2648 -2232 -2356 -2460 -2696 -2516 2680 -2532 -2264 -2532 -2512 -2420 -2232 -2720 -2656 2368 2452 -2532 -2532 -2524 -2556 -2516 -2364 -2448 -2260 -2248 -2620 -2716 -2396 -2660 -2424 -2596 -2460 -2460 -2500 -2528 -2160 -2668 -2512 -2212 -2296 -2264 -2152 -2552 -2168 -2160 -2664 -2180 -2708 -2720 -2332 -2440 -2136 -2168 -2680 -2656 2220 -2248 -2464 -2288 -2668 -2172 -2628 -2580 -2404 -2600 -2560 -2664 -2420 -2396 2448 2544 -2552 2320 -2572 -2660 -2120 -2148 -2228 -2152 -2404 -2524 -2684 -2600 2328 -2160 -2404 -2316 -2292 -2648 -2432 -2680 -2620 -2620 -2652 -2164 -2620 -2624 -2636 -2620 -2328 -2228 -2436 -2468 -2160 -2168 -2720 -2680 -2580 -2612 -2144 -2680 -2636 -2224 -2456 -2432 -2308 -2508 2152 -2352 -2536 2580 -2436 -2252 -2440 2696 -2432 -2352 -2132 -2704 -2532 -2636 -2348 -2328 -2680 -2488 2512 -2312 -2160 -2512 -2136 -2680 2676 -2716 -2408 -2688 2384 2120 -2268 -2216 2120 -2268 -2416 -2712 -2360 -2700 -2448 -2220 -2492 -2440 2660 -2232 -2360 -2492 2172 -2360 -2544 -2160 -2132 2300 -2488 -2524 -2300 -2444 -2320 -2428 2184 -2360 -2468 -2680 -2272 -2284 -2612 -2340 -2336 -2660 -2224 -2632 -2388 -2284 -2356 -2680 -2604 -2628 -2500 -2448 2696 -2520 -2584 -2452 -2432 -2320 -2652 -2656 -2512 -2252 -2676 -2484 -2432 -2368 2376 -2216 2528 2696 -2344 -2444 -2412 -2352 -2420 -2220 -2720 2596 -2568 -2388 2668 -2324 -2564 -2344 -2644 -2648 -2336 -2664 -2440 -2404 -2680 2616 2472 2644 -2300 -2312 -2244 -2288 -2564 -2332 -2216 -2228 -2352 -2420 -2120 -2208 -2464 -2668 -2720 -2296 2256 -2244 2692 -2556 -2384 -2240 -2596 -2192 -2416 -2124 -2680 -2508 -2660 -2588 -2596 2708 -2132 -2276 -2120 -2484 -2656 -2720 -2412 -2560 -2528 2540 -2288 -2512 -2612 -2596 -2656 -2572 -2620 2184 -2680 -2632 -2636 2256 -2176 -2644 -2420 -2420 2420 -2260 2572 -2680 -2592 -2360 -2220 2268 -2424 -2648 -2188 2208 -2464 -2252 -2348 -2544 -2564 -2164 -2192 -2680 -2220 -2324 -2288 -2308 2132 -2508 -2164 -2420 -2248 -2544 -2492 -2640 -2224 -2424 2660 -2476 -2136 -2388 -2552 -2720 -2136 -2400 -2176 2120 -2660 -2228 -2160 -2544 -2664 2652 2580 -2640 -2136 -2680 -2692 -2656 -2296 -2364 -2524 -2160 -2488 -2216 -2132 -2560 -2280 -2392 2464 -2588 -2664 -2268 -2176 -2468 -2332 -2500 -2276 -2184 -2288 -2320 -2612 -2504 -2568 -2668 -2440 -2540 -2248 -2532 2660 -2612 -2188 -2452 -2344 -2720 -2216 -2400 -2352 -2160 -2576 -2384 -2480 -2288 -2640 -2624 -2196 -2400 -2224 -2528 -2292 -2292 -2288 2136 -2552 -2620 -2544 -2160 -2160 -2464 -2472 -2328 2676 -2256 -2532 -2248 -2700 -2648 -2680 -2228 -2128 -2292 -2592 -2460 -2680 -2132 -2568 -2260 -2680 -2720 2624 -2444 -2312 -2416 -2416 -2668 -2524 -2160 -2148 -2384 -2468 -2472 -2468 -2588 -2632 -2572 -2404 -2180 -2456 -2376 -2600 -2680 -2416 -2440 -2656 -2636 -2720 2328 -2500 -2260 -2392 -2720 -2120 -2540 -2636 -2120 2596 -2136 -2608 -2456 -2144 -2452 -2476 -2584 -2576 -2448 2520 -2204 -2144 -2632 -2408 -2520 -2484 -2576 -2384 -2360 -2548 -2232 -2720 -2428 -2300 2272 2288 2660 -2256 -2592 -2256 2392 -2196 -2580 -2176 -2408 -2268 2696 -2600 -2620 -2648 -2488 -2256 2616 2468 -2720 -2196 -2364 2384 -2500 2296 -2492 -2660 -2172 -2332 -2236 -2292 -2572 -2492 -2160 -2532 -2160 -2248 -2392 -2520 -2392 -2548 2304 -2512 -2356 -2340 -2160 2720 -2380 -2380 2464 -2592 2308 -2368 -2492 -2420 -2120 -2656 -2572 -2720 -2564 -2720 -2244 -2272 -2428 -2392 -2332 -2176 -2556 -2680 -2420 -2692 -2368 2260 -2456 -2656 -2228 2268 -2460 -2228 -2360 -2156 -2460 -2328 -2120 -2380 -2512 -2584 -2212 2688 -2204 -2516 -2160 -2700 2572 2700 -2504 -2268 -2160 -2552 -2368 -2632 -2448 -2196 -2196 -2704 -2576 -2340 -2264 -2344 -2552 -2480 -2340