Name | csp/fapp/fapp09/ normalized-fapp09-0800-6.xml |
MD5SUM | 546e6ed781e2059b953cb6ecdfe4a630 |
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 | 31.8422 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 800 |
Number of constraints | 8975 |
Maximum constraint arity | 2 |
Maximum domain size | 350 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 8975 |
Global constraints used (with number of constraints) |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
Abscon 112v4 AC (complete) | 2097935 | SAT | 31.8422 | 32.0258 |
Abscon 112v4 ESAC (complete) | 2097936 | SAT | 32.1411 | 32.2777 |
Concrete 2009-07-14 (complete) | 2084069 | SAT | 71.6341 | 66.5694 |
Mistral 1.545 (complete) | 2084075 | SAT | 195.612 | 195.781 |
Sugar v1.14.6+picosat (complete) | 2084072 | SAT | 664.495 | 671.009 |
Concrete DC 2009-07-14 (complete) | 2084070 | ? | 646.968 | 653.244 |
SAT4J CSP 2.1.1 (complete) | 2084066 | ? | 715.621 | 719.387 |
bpsolver 09 (complete) | 2084076 | ? (exit code) | 64.8181 | 65.0877 |
Sugar v1.14.6+minisat (complete) | 2084073 | ? (TO) | 1800.09 | 1801.98 |
pcs 0.3.2 (complete) | 2084067 | ? (TO) | 1800.11 | 1807.35 |
pcs-restart 0.3.2 (complete) | 2084068 | ? (TO) | 1800.12 | 1805.74 |
Choco2.1.1b 2009-07-16 (complete) | 2116879 | ? (TO) | 1800.15 | 1806.22 |
Choco2.1.1 2009-06-10 (complete) | 2084071 | ? (TO) | 1800.16 | 1803.9 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:2640 2596 2148 -2572 2704 2564 2524 -2092 -2624 -2716 -2672 -2704 -2200 2368 -2640 -2628 -2696 2200 -2352 -2640 2532 -2528 2600 2228 2444 2600 -2148 -2688 -2472 2564 2584 -2160 -2108 2620 2224 2292 2508 -2644 2644 2364 -2212 -2644 2260 -2676 2640 -2360 -2396 -2480 2580 2464 -2020 -2560 -2512 -2020 -2612 -2224 2228 2580 -2288 2140 -2324 -2200 2292 -2148 -2696 -2340 2168 -2520 -2528 2656 -2492 -2268 -2200 -2328 2440 -2120 -2208 2404 2628 -2352 2560 2644 2716 -2208 -2480 2612 2060 2644 -2100 2320 -2660 2544 -2444 2452 2020 2644 -2604 -2716 -2160 2576 -2084 -2656 -2664 -2256 2644 2628 2676 -2296 2324 -2612 2640 2472 -2168 -2700 -2564 2060 2620 2024 2220 -2368 2620 2556 -2296 2664 2432 -2624 -2628 2132 -2260 -2552 2476 -2204 -2580 2704 2124 -2312 2584 2564 -2684 -2268 2396 -2180 -2132 2616 2108 2588 -2516 2248 -2544 -2060 2604 2180 -2704 -2112 2480 -2288 2656 2644 2620 2648 -2688 2392 -2640 -2564 2620 -2616 -2320 -2636 -2360 2220 2108 -2580 -2676 -2160 -2212 -2448 2404 2620 -2308 -2528 -2532 -2028 2668 2700 -2580 2292 -2060 -2616 -2404 2020 -2296 -2200 -2600 2684 -2208 -2500 -2684 -2264 -2524 2312 2592 -2704 2304 -2464 -2500 -2208 2140 -2064 2600 -2368 2120 2408 -2060 -2628 -2360 -2472 -2432 2020 2620 -2028 2412 -2108 -2460 2224 -2076 2304 -2304 2560 2328 -2620 -2120 -2372 2680 2548 2668 -2680 2208 -2132 -2264 2528 2488 -2160 2540 2272 -2208 -2520 2172 -2472 -2288 -2584 2160 2652 -2472 -2520 -2540 2224 2528 -2488 2348 -2208 2360 -2588 -2068 -2628 -2704 2592 -2596 2020 2100 -2660 -2704 -2704 -2424 -2020 2660 -2528 2256 2616 -2680 -2140 -2612 2412 -2020 -2664 -2424 -2180 -2684 -2424 2364 2404 2616 -2544 2620 2200 -2520 -2684 -2512 2616 -2660 -2600 -2452 2360 2328 -2184 -2464 2536 2704 2476 -2696 2212 -2184 -2560 -2252 -2576 -2520 2424 -2328 -2504 -2320 2252 2576 -2400 -2640 -2160 -2548 -2640 2120 2688 -2488 -2120 -2320 -2640 2380 2660 -2344 2152 -2232 2604 2628 2340 -2060 -2416 -2684 -2492 2088 2480 -2108 -2512 -2184 -2676 2620 -2544 -2648 2648 -2344 -2716 -2052 -2148 2028 2324 -2492 2388 -2680 2468 -2244 -2372 2664 2540 -2516 -2676 -2240 -2524 -2384 -2468 2676 -2020 2428 2172 2644 2532 2260 -2540 2404 -2620 -2200 -2656 2208 -2484 -2092 -2488 -2248 -2696 -2348 2600 -2340 -2600 -2248 -2636 2340 -2304 -2344 -2020 -2108 -2364 -2164 -2472 -2620 -2488 2280 2452 2676 2252 -2704 2560 2604 -2520 -2040 -2488 2460 -2660 2584 -2716 -2664 2624 -2664 2588 -2404 -2044 2676 2620 -2640 -2148 -2120 -2256 -2580 2636 -2072 2252 2464 -2484 2144 -2512 -2240 -2244 2300 -2532 -2200 2664 -2520 -2540 -2060 2584 -2652 -2604 -2200 -2364 -2580 2652 -2392 2556 2576 -2376 -2148 -2160 2636 -2660 -2248 -2364 2604 -2580 -2512 -2424 -2512 2664 -2060 2524 -2488 -2356 -2224 2696 -2292 -2192 2600 -2252 2324 -2112 -2500 -2148 -2572 -2220 -2616 2604 -2564 -2636 -2212 -2484 -2400 2692 2612 -2308 -2336 2020 -2520 2568 -2540 2020 2200 -2640 -2520 2648 -2516 -2328 -2160 -2600 -2160 -2520 2268 -2296 -2460 -2312 2248 -2060 -2560 -2248 2656 -2268 2656 2308 -2448 2592 -2272 -2332 -2552 2060 2584 2648 -2524 -2644 2576 -2344 2600 2308 2572 2616 2108 2664 -2068 2620 2364 2532 2516 -2020 2448 2644 -2264 2644 2172 -2660 2244 -2472 -2224 -2564 -2380 -2584 -2408 2480 -2184 -2220 -2552 -2020 2380 -2236 2184 2588 2528 -2060 2296 -2160 -2576 -2432 -2092 -2160 -2448 2568 2372 -2436 2224 2456 -2512 2464 2712 2544 2648 -2220 2648 2604 -2492 -2444 2432 -2284 2276 2492 -2644 2132 2300 2464 2520 -2248 2560 2636 2268 2656 2684 -2716 2572 2188 2360 2060 -2252 -2552 2676 2540 2684 -2096 2616 2664 2664 2392 -2588 -2500 2624 2680 2604 -2580 -2308 -2580 -2296 -2592 -2076 -2588 2528 -2580 2280 -2212 -2160 -2600 2564 -2312 2640 2284 -2660 -2584 -2688 2588 2160 -2544 2060 -2336 2684 2320 -2496 -2160 2540 2148 -2160 2364 -2332 -2556 -2252 -2580 2488 -2060 -2600 -2056 2596 -2572 2284 2644 -2488 -2268 2472 2172 -2364 -2604 -2200 -2152 -2424 -2148 -2108 -2332 -2588 2140 2640 -2224 -2640 -2056 -2660 -2336 -2512 -2048 -2360 2628 2396 -2620 -2252 -2292 -2120 -2192 -2292 2288 -2060 2448 -2640 -2624 -2384 -2120 -2068 2696 -2536 -2660 -2340 -2636 -2264 -2600 -2688 -2160 2320 -2060 2328 -2404 2260 -2080 -2116 2588 -2356 -2036 -2020 -2620 -2320 2676 -2676 -2604 -2504 -2320 2240 2644 2668 -2604 -2576 2160 -2324 2096 2552 -2544 -2212 2524 -2560 -2392 2628 -2604 2412 2020 2676 2656 -2716 -2492 -2272 -2580 -2564 -2504 2608 -2504 -2620 2268 2644 -2664 2628 2596 -2208 2532 -2628 2644 -2660 2480 -2636 2576 -2544 2432 -2308 2516 -2264 2256 -2476 -2632 -2588 2660 2604 2248 -2360 -2688