Name | csp/fapp/fapp12/ normalized-fapp12-1500-9.xml |
MD5SUM | a935103af39bd284c54c6d98a149f42a |
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 | 315.042 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1500 |
Number of constraints | 25409 |
Maximum constraint arity | 2 |
Maximum domain size | 310 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 25409 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097777 | SAT | 315.042 | 318.129 |
Abscon 112v4 ESAC (complete) | 2097778 | SAT | 317.867 | 320.889 |
Sugar v1.14.6+picosat (complete) | 2083203 | ? | 289.228 | 295.689 |
Sugar v1.14.6+minisat (complete) | 2083204 | ? | 296.579 | 304.931 |
SAT4J CSP 2.1.1 (complete) | 2083197 | ? | 398.988 | 402.685 |
Concrete DC 2009-07-14 (complete) | 2083201 | ? | 639.398 | 641.788 |
bpsolver 09 (complete) | 2083207 | ? (exit code) | 11.8082 | 11.9091 |
Concrete 2009-07-14 (complete) | 2083200 | ? (exit code) | 651.41 | 654.844 |
Mistral 1.545 (complete) | 2083206 | ? (TO) | 1800.05 | 1805.02 |
pcs-restart 0.3.2 (complete) | 2083199 | ? (TO) | 1800.08 | 1807.54 |
pcs 0.3.2 (complete) | 2083198 | ? (TO) | 1800.09 | 1809.74 |
Choco2.1.1b 2009-07-16 (complete) | 2116800 | ? (TO) | 1800.15 | 1810.02 |
Choco2.1.1 2009-06-10 (complete) | 2083202 | ? (TO) | 1800.19 | 1807.45 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-2328 2564 -2712 2596 2524 2572 2320 -2732 -2344 2356 2216 -2328 -2736 -2244 -2688 -2624 -2564 -2288 2700 2160 2140 -2636 -2160 -2304 -2668 2440 -2640 -2292 -2456 2412 2568 2404 -2220 -2524 -2696 -2688 2192 -2200 -2388 2728 -2684 -2704 2276 -2452 -2160 -2120 -2244 2548 -2288 -2500 2420 -2536 -2708 -2396 2508 2316 2208 2660 2604 2452 2720 -2444 -2316 -2512 2732 2476 -2688 2288 2128 -2144 2696 -2612 2588 -2680 2144 2696 -2488 -2692 2160 2200 -2220 -2388 2304 2672 -2500 -2128 2588 -2412 -2168 -2736 -2664 -2692 -2288 2688 -2736 2480 2568 -2280 -2276 -2136 2588 -2316 -2120 2548 -2544 2312 2584 2160 2220 -2604 -2388 2204 -2636 2508 -2236 -2616 -2696 -2324 -2472 2388 -2484 -2696 2660 -2160 -2316 -2608 2716 2608 -2620 -2548 -2736 2120 -2568 -2364 -2136 -2252 2444 2604 -2540 2276 2428 2728 -2168 -2264 -2200 -2664 -2692 2552 -2416 -2224 2160 -2148 2284 -2124 -2624 -2248 -2216 2376 -2708 2624 2532 -2696 -2228 -2128 -2440 2588 -2644 -2736 -2428 -2288 2656 -2512 -2268 2464 2640 2520 -2584 -2528 2700 -2136 2140 2408 2308 -2364 -2724 -2448 2540 2600 2200 -2292 2272 -2140 -2708 -2276 -2504 2440 2732 2132 -2736 -2248 2540 -2316 2696 -2696 -2476 -2256 -2736 -2152 -2336 2360 -2160 -2692 -2528 2672 -2292 -2608 -2236 -2632 -2696 -2236 2564 -2308 -2344 2448 2408 2268 2452 2712 -2280 2620 -2388 -2492 -2360 -2168 2252 2192 2732 -2152 -2300 2268 2304 2660 -2204 2576 -2460 -2544 -2240 -2260 2600 2624 2452 -2696 -2248 2484 -2428 2240 -2488 -2692 -2368 2356 -2696 -2188 2316 -2396 -2248 -2388 -2288 -2228 2348 2672 2236 -2248 -2412 -2512 2272 2172 -2672 2120 -2256 -2328 -2552 2316 2312 2736 -2464 2136 2308 -2696 -2140 -2732 2164 -2268 2344 2160 2668 2556 -2720 -2508 -2432 -2588 2476 2620 2252 2692 2504 -2736 2552 -2620 -2232 -2720 2120 2236 2708 2436 -2188 -2656 2252 2628 -2712 -2324 2604 -2532 2736 -2316 -2272 -2124 2616 2648 -2240 2684 -2276 2432 -2300 -2200 2616 2324 2604 2228 2256 2596 -2596 -2140 -2144 -2260 2496 2636 -2260 -2736 2664 2576 -2736 -2356 -2552 2588 -2240 -2228 2412 2312 2732 2160 -2668 -2696 -2160 -2484 2368 -2260 -2736 -2468 2304 2160 -2152 2288 -2184 -2264 2668 2712 2536 -2492 -2612 2544 -2156 -2736 2560 2696 -2316 -2244 2456 -2596 2160 -2480 -2160 -2380 -2388 -2160 2188 -2696 2532 2216 -2420 2328 2240 -2552 -2180 -2176 -2524 -2300 -2512 -2544 -2564 -2636 -2232 -2516 2736 -2268 -2664 2332 -2328 -2676 -2336 -2580 -2464 -2576 -2416 -2184 -2288 -2492 -2624 2440 2672 -2160 -2644 -2736 2656 -2696 2552 2528 2396 -2368 2232 -2380 -2416 2652 -2240 -2180 -2400 2148 -2680 2736 -2624 -2576 -2244 -2532 -2404 -2556 -2536 -2460 -2508 -2384 2348 -2644 2608 -2572 2164 -2164 -2636 2324 -2440 -2524 2684 -2432 2696 2404 -2336 -2632 2300 2492 2244 -2344 -2380 2736 -2532 -2164 2348 -2244 -2160 2392 -2436 2696 -2280 -2396 2508 -2660 2504 -2192 -2160 2568 -2284 -2348 2708 2684 2228 2248 2292 -2160 2164 -2676 -2724 2400 -2220 2672 -2444 2676 2548 2604 -2640 2144 -2252 2636 2228 2120 -2340 -2628 2120 -2384 2736 -2272 -2468 -2352 -2596 2352 -2696 -2384 2264 2684 -2204 2584 -2412 2676 2532 2120 -2460 -2588 -2340 -2196 2524 -2336 2120 2216 -2644 2612 -2192 -2736 2648 -2620 -2240 -2548 -2444 2660 2564 -2160 2332 2588 -2520 -2160 2236 -2668 -2208 -2220 -2240 2564 2184 -2192 -2248 -2672 -2296 -2736 -2300 -2456 -2120 -2168 2304 -2120 -2680 -2736 2504 2676 -2188 2132 2664 2696 -2636 2380 -2628 -2276 2688 -2372 2628 2464 2136 2348 -2320 -2204 -2580 2120 -2524 -2176 -2196 2696 -2496 2644 -2664 -2248 -2736 -2504 2476 2420 -2680 -2492 -2180 2168 -2420 2668 -2260 -2644 -2620 -2164 -2672 2388 2328 -2312 -2308 -2320 2612 -2648 2568 -2468 2196 2636 -2148 2440 -2356 2680 -2256 -2400 -2520 2600 2272 2240 -2488 -2284 -2696 -2680 -2532 2356 2564 2300 -2696 -2712 -2696 2184 -2124 2516 2128 -2620 -2668 -2540 2736 2128 2664 2460 2588 2612 -2444 2188 2628 -2244 -2708 2504 2232 -2456 -2612 2124 2652 -2696 2424 -2344 -2660 2180 2624 -2256 2492 2212 -2136 -2652 -2356 2472 -2480 -2512 -2736 2264 2572 2168 2160 2284 -2536 2604 -2672 -2588 -2560 2564 2612 -2232 2624 -2696 2364 2172 -2284 2684 2468 -2140 -2160 2244 -2176 2132 -2404 -2200 2652 2572 -2320 2120 2548 -2244 -2236 2348 2120 -2480 -2428 2124 2484 -2528 -2696 2236 -2228 -2376 2316 2724 2272 2480 -2300 -2260 2664 -2716 2628 -2160 -2348 -2668 -2416 -2240 -2204 2640 2448 2536 -2160 -2396 2524 -2392 -2164 -2396 -2444 -2564 2196 2136 -2568 -2296 -2656 2716 2704 2736 -2696 -2136 -2504 2148 2648 -2272 2368 -2128 -2688 2284 -2180 2464 -2300 -2524 -2580 -2148 2672 -2260 -2328 -2216 2196 2572 -2340 2356 -2220 2296 -2172 2500 -2268 2312 -2424 2724 2304 -2272 2196 2316 -2176 -2492 2188 2348 2284 2400 -2656 2132 -2120 2176 -2172 -2612 -2276 -2160 2376 2392 -2128 2172 -2128 2232 2472 -2592 2460 2236 -2592 -2728 2572 2644 2508 2204 -2460 -2160 -2484 -2336 -2648 2552 2548 -2164 -2616 -2552 2588 2232 2168 2396 -2588 2160 -2316 2636 2260 -2480 -2288 -2556 -2520 2692 -2404 -2432 2432 -2260 -2668 2120 -2196 -2200 -2432 -2584 -2120 2592 -2728 2160 2160 2380 -2596 -2268 2684 2664 2328 -2160 2172 2216 2632 -2160 -2160 2164 2612 2668 -2344 2508 2676 -2376 2468 2356 2596 2596 -2372 2176 -2236 -2200 -2588 -2348 2512 2180 -2252 2172 2680 2372 -2448 -2188 -2220 2736 2564 -2212 -2120 -2120 2672 -2376 -2636 2696 -2728 -2640 2124 -2380 2644 2668 -2160 -2160 2276 -2120 -2432 2388 2708 2688 -2600 -2676 2216 2668 -2260 -2340 -2448 2516 2688 -2160 2708 2684 -2168 -2688 -2368 -2324 -2148 2732 -2216 -2488 -2408 2516 -2456 -2572 2336 -2212 2272 2188 2556 2280 2696 2592 2576 -2560 -2580 -2408 -2256 2524 2680 -2208 -2488 -2552 2480 2120 -2288 -2404 -2120 2724 -2168 -2332 -2340 -2684 -2156 2536 -2628 2444 2332 -2688 2336 -2616 2644 2552 2120 -2320 -2624 -2664 -2168 -2736 2196 -2444 -2696 2120 -2368 2716 2572 2160 -2736 -2380 -2160 2516 2664 2120 2704 -2568 2632 2384 2684 2712 2212 -2736 2164 -2676 -2308 -2608 2672 2704 -2120 -2180 2284 -2692 -2416 2660 -2328 -2592 2408 -2120 -2256 -2452 2500 2716 -2160 -2736 -2472 2120 -2232 2396 -2276 -2736 -2600 2320 -2160 -2696 2536 -2292 -2668 -2276 2580 2624 2184 -2188 -2628 -2184 -2584 2696 -2256 -2296 2288 2456 -2436 2172 -2120 2520 2316 -2664 2248 -2444 -2432 2424 2424 -2532 2120 -2132 -2564 -2428 2176 -2176 2308 -2716 2168 2660 -2736 2224 2368 -2160 -2736 2720 2676 2316 2248 2184 2544 -2572 2392 -2292 -2628 -2588 -2660 2356 -2520 2140 -2244 -2700 -2572 2436 2152 -2696 -2280 2504 -2620 -2320 -2216 2120 -2360 2604 2632 2692 -2260 2180 -2404 2728 -2736 2584 -2696 -2372 -2256 2400 -2520 -2176 -2624 2608 2676 -2328 -2132 2240 -2504 -2724 -2660 -2308 2124 -2696 2280 -2444 -2676 2692 2524 -2672 2204 -2420 -2720 -2168 2344 -2140 -2696 -2264 2200 2648 -2412 -2172 -2372 2120 -2692 2660 2524 -2240 2548 -2176 2176 -2532 -2428 -2352 2136 2308 -2220 -2696 2120 -2620 -2380 2548 -2436 -2484 -2696 2644 -2172 -2300 -2488 2208 2276 -2528 2420 -2228 2280 2120 -2572 2372 -2144 -2288 -2616 2168 2120 2736 -2512 2728 2552 -2212 -2280 2352 2664 2496 -2404 2712 2384 2528 -2124 -2664 2696 -2268 -2276 2440 2592 -2652 -2472 -2540 -2736 -2512 -2712 2232 2596 2652 2496 2120 2676 2140 -2724 -2120 -2332 2644 2144 -2440 -2240 2172 2680 -2156 -2204 -2120 -2652 2304 2160 -2340 -2544 2672 2632 2120 -2496 -2348 -2200 -2332 -2288 -2320 2412 -2596 -2572 -2336 -2688 -2136 2276 2648 2220 2188 -2664 -2580 -2248 2160 2684 2736 -2688 -2124 2652 -2128 2120 2688 -2472 -2200 2468 -2732 -2736 2384 2236 2384 -2288 -2580 -2276 -2720 2688 -2368 -2460 -2160 2628 2496 -2480 -2492 2164 -2620 -2404 -2380 -2240 -2736 2524 2636 2164 2612 -2160 -2188 2404 -2640 -2680 2376 2180 2160 -2316 -2160 2504 -2200 2392 2148 -2604 -2160 2532 2704 -2608 -2408 2476 2608 2480 2392 2484 -2704 -2296 2628 -2132 -2236 -2276 -2496 2604 -2736 2708 -2180 -2516 -2352 -2148 -2280 -2624 -2696 2636 -2648 2440 2736 2120 -2212 2368 -2420 2176 2696 -2140 2520 2548 -2144 -2592 2720 -2340 -2180 -2308 -2120 2716 -2496 -2532 2620 2348 2580 2360 2200 -2472 2224 -2696 -2152 -2516 -2296 -2720 2488 -2732 2684 2436 2560 -2276 -2692 2396 2340 -2452 2544 2504 2128 -2672 -2548 -2196 -2580 -2612 -2340 -2300 2120 -2160 -2728 -2280 2192 2260 2472 -2668 -2120 -2444 -2336 2696 2724 -2540 -2512 2180 2316 2640 -2444 -2216 -2492 -2720 2384 2704 -2532 -2328 -2728 -2448 2548 -2632 -2236 -2716 -2408 -2180 -2212 2472 -2512 -2376 2128 -2696 -2184 -2400 -2244 2440 2192 2128 -2452 -2680 -2404 2436 2468 2128 2424 2204 2632 -2588 -2332 -2684 -2736 -2716 2212 2276 2200 2624 -2188 2280 -2736 2320 -2488